f51ca395d8
To refresh everything, it is now sufficient first clean_heptc second use heptc
3 lines
75 B
Bash
Executable file
3 lines
75 B
Bash
Executable file
#!/bin/sh
|
|
rm -rf compiler/heptc.byte compiler/heptc.d.byte compiler/_build
|