diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-05-28 18:06:40 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-05-28 18:07:48 +0200 |
commit | a70060e414a2cc0b162a67f463308d896efcdfab (patch) | |
tree | 9c4354ccdc4bb269029f3c37aab665c21c6bd0ab /test/monniaux/clean_benches.sh | |
parent | 77d38c9f8a1ae1a678d49bd93f79792202cdcd23 (diff) | |
download | compcert-kvx-a70060e414a2cc0b162a67f463308d896efcdfab.tar.gz compcert-kvx-a70060e414a2cc0b162a67f463308d896efcdfab.zip |
Added rm clock.o and stuff
Diffstat (limited to 'test/monniaux/clean_benches.sh')
-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 |