update makefile

daejunpark · daejunpark · commit 2107187786e6 · 2015-02-12T17:50:06.000-06:00
diff --git a/security-attack/Makefile b/security-attack/Makefile
@@ -15,3 +15,7 @@ js.k: ../js.k
 .PHONY: run
 run:
 	krun -w none --smt none --search send.js >send.js.out
+
+.PHONY: cleean
+clean:
+	rm -rf js-kompiled js.k js-prelude.k js-str-numeric-literal.k js-trans.k
