diff options
Diffstat (limited to 'prover_snapshots/coq/clean')
| -rwxr-xr-x | prover_snapshots/coq/clean | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/prover_snapshots/coq/clean b/prover_snapshots/coq/clean index 75bdac7..6bab8e6 100755 --- a/prover_snapshots/coq/clean +++ b/prover_snapshots/coq/clean @@ -8,5 +8,6 @@ fi set -ex rm -f RV32/*.{vo,glob} RV32/.*.aux rm -f RV64/*.{vo,glob} RV64/.*.aux +rm -f duopod/*.{vo,glob} RV64/.*.aux cd lib/sail make clean |