Tweak Makefile (install checks too)
commit4cec951e9fa2bce3c010f23c3ca225d8449d6ba2
authorEdwin Brady <eb@cs.st-andrews.ac.uk>
dateTue 25 Sep 2012, 17:36 (14 years ago)
parent1e52324
lib/Makefile+1−1
@@ -4,7 +4,7 @@ check: .PHONY
44
55recheck: clean check
66
7−install: check
7+install:
88 $(IDRIS) --install base.ipkg
99
1010clean: .PHONY