diff options
Diffstat (limited to 'test/monniaux/clean_benches.sh')
-rwxr-xr-x | test/monniaux/clean_benches.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/test/monniaux/clean_benches.sh b/test/monniaux/clean_benches.sh new file mode 100755 index 00000000..dff15fd4 --- /dev/null +++ b/test/monniaux/clean_benches.sh @@ -0,0 +1,12 @@ + +source benches.sh + +blue="\e[34m" +default="\e[39m" + +rm -f commands.txt +for bench in $benches; do + echo -e "${blue}Cleaning $bench..${default}" + (cd $bench && make -s clean) +done +rm -f *.o |