Add clean circuti script

mit-plv · Mar 10, 2018 · fdbafe0 · fdbafe0
1 parent 60a979f
commit fdbafe0
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/clean-circuit.sh b/clean-circuit.sh
@@ -0,0 +1,5 @@
+#!/bin/bash
+cd src
+rm *.dyn*
+rm *.hi
+rm *.o