mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-11-11 02:01:36 +03:00
880981d5b4
* Ignore build artifacts in 'tests' directory * Remove unused variables in makefiles * Add 'bootstrap-clean' rule to delete build artifacts from 'bootstrap' directory * Add 'distclean' rule to delete all build artifacts from the source tree |
||
|---|---|---|
| .. | ||
| .gitignore | ||
| CB.idr | ||
| cblib.c | ||
| expected | ||
| input | ||
| Makefile | ||
| run | ||