blob: 75bdac78565689279e3d3ca2b57dc48e857e26ac (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#!/bin/bash
if [ ! -d RV64 ]; then
echo Run clean from the coq directory
exit 1
fi
set -ex
rm -f RV32/*.{vo,glob} RV32/.*.aux
rm -f RV64/*.{vo,glob} RV64/.*.aux
cd lib/sail
make clean
|