diff options
Diffstat (limited to 'test/monniaux/generate_makefiles.sh')
-rwxr-xr-x | test/monniaux/generate_makefiles.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/test/monniaux/generate_makefiles.sh b/test/monniaux/generate_makefiles.sh index ed8270b5..14a6bd92 100755 --- a/test/monniaux/generate_makefiles.sh +++ b/test/monniaux/generate_makefiles.sh @@ -1,5 +1,7 @@ #!/usr/bin/bash -for bench in binary_search; do - ./genmake.py $(cat $bench/make.proto) > $bench/Makefile +source benches.sh + +for bench in $benches; do + ./genmake.py $bench/make.proto > $bench/Makefile done |