diff --git a/clean_heptc b/clean_heptc new file mode 100755 index 0000000..3f3227b --- /dev/null +++ b/clean_heptc @@ -0,0 +1,2 @@ +#!/bin/sh +rm -rf compiler/heptc.byte compiler/heptc.d.byte compiler/_build