diff options
Diffstat (limited to 'snapshots/coq-riscv/clean')
| -rwxr-xr-x | snapshots/coq-riscv/clean | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/snapshots/coq-riscv/clean b/snapshots/coq-riscv/clean deleted file mode 100755 index 9b161fd2..00000000 --- a/snapshots/coq-riscv/clean +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/bash - -if [ ! -d bbv ]; then - echo Run clean from the coq-riscv directory - exit 1 -fi - -set -ex -rm -f sail/riscv/*.vo -cd sail/lib/coq -make clean -cd ../../../bbv -make clean |