snapshots/coq/clean


1
2
3
4
5
6
7
8
9
10
11

#!/bin/bash

if [ ! -d mips ]; then
  echo Run clean from the coq directory
  exit 1
fi

set -ex 
rm -f mips/*.vo
cd lib/coq
make clean