1 files changed, 3 insertions, 2 deletions
diff --git a/snapshots/coq/clean b/snapshots/coq/clean
index 0d6f8785..c37bb40f 100755
--- a/snapshots/coq/clean
+++ b/snapshots/coq/clean
@@ -1,11 +1,12 @@
 #!/bin/bash
 
-if [ ! -d mips ]; then
+if [ ! -d cheri-mips ]; then
   echo Run clean from the coq directory
   exit 1
 fi
 
 set -ex 
-rm -f mips/*.vo
+rm -f cheri-mips/*.{vo,glob} cheri-mips/.*.aux
+rm -f riscv/*.{vo,glob} riscv/.*.aux
 cd lib/coq
 make clean