git.iko.soy/Idris-dev
on master help sign in
Makefile fix (thanks to Dirk Ullrich)
e06c1c1Edwin Brady
lib/Makefile+1−1
compare with master
unifiedsplit
@@ -8,8 +8,8 @@ check: .PHONY
8recheck: clean check
8recheck: clean check
9
9
10install: check
10install: check
11− install *.ibc $(TARGET)
12 mkdir -p $(TARGET)/prelude
11 mkdir -p $(TARGET)/prelude
12+ install *.ibc $(TARGET)
13 install prelude/*.ibc $(TARGET)/prelude
13 install prelude/*.ibc $(TARGET)/prelude
14
14
15clean: .PHONY
15clean: .PHONY