idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-24 20:23:11 +03:00
Code Issues Projects Releases Wiki Activity

Update PHONY description

Browse Source 
- TARGET isn't phony
- distclean declared elsewhere
- Update with testenv, testenv-clean
This commit is contained in:
John Mager 2021-04-11 23:54:04 -04:00 committed by G. Allais
parent d0db61ca35
commit 738bc4331e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Makefile
View File

@ -49,7 +49,7 @@ export IDRIS2_BOOT_PATH := "${IDRIS2_CURDIR}/libs/prelude/build/ttc${SEP}${IDRIS
export SCHEME
.PHONY: all idris2-exec ${TARGET} testbin support support-clean clean distclean FORCE
.PHONY: all idris2-exec testenv testenv-clean support support-clean clean FORCE
all: support ${TARGET} libs