script to clean the compiler binaries

To refresh everything, it is now sufficient
first clean_heptc
second use heptc
This commit is contained in:
Léonard Gérard 2011-10-14 13:39:10 +02:00
parent ef4478e37e
commit f51ca395d8

2
clean_heptc Executable file
View file

@ -0,0 +1,2 @@
#!/bin/sh
rm -rf compiler/heptc.byte compiler/heptc.d.byte compiler/_build