Makefile fix (thanks to Dirk Ullrich)
commite06c1c1712fb44ceb245553b6ec0252866a01fb1
authorEdwin Brady <eb@cs.st-andrews.ac.uk>
dateFri 16 Dec 2011, 11:33 (15 years ago)
parentec7c1b8
lib/Makefile+1−1
@@ -8,8 +8,8 @@ check: .PHONY
88recheck: clean check
99
1010install: check
11− install *.ibc $(TARGET)
1211 mkdir -p $(TARGET)/prelude
12+ install *.ibc $(TARGET)
1313 install prelude/*.ibc $(TARGET)/prelude
1414
1515clean: .PHONY