1 files changed, 7 insertions, 0 deletions
diff --git a/test/monniaux/clean_benches.sh b/test/monniaux/clean_benches.sh
new file mode 100755
index 00000000..d246e110
--- /dev/null
+++ b/test/monniaux/clean_benches.sh
@@ -0,0 +1,7 @@
+
+source benches.sh
+
+rm -f commands.txt
+for bench in $benches; do
+  (cd $bench && make clean)
+done