diff options
Diffstat (limited to 'test')
| -rwxr-xr-x | test/monniaux/clean_benches.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/monniaux/clean_benches.sh b/test/monniaux/clean_benches.sh index d246e110..c0a87ff9 100755 --- a/test/monniaux/clean_benches.sh +++ b/test/monniaux/clean_benches.sh @@ -5,3 +5,4 @@ rm -f commands.txt for bench in $benches; do (cd $bench && make clean) done +rm -f *.o |