add feed_longest to record random cases

This commit is contained in:
Alwin Berger 2023-02-23 22:33:13 +01:00
parent 41586dd8b1
commit 28bac2a850

View File

@ -5,7 +5,7 @@ rule build_random:
output: output:
directory("bins/target_random") directory("bins/target_random")
shell: shell:
"cargo build --target-dir {output} {def_flags}" "cargo build --target-dir {output} {def_flags},feed_longest"
rule build_feedlongest: rule build_feedlongest:
output: output: