git.iko.soy/Idris-dev
on master help sign in
respect $(MAKE), instead of using hardcoded make
a72a39cHannes Mehnert
libs/Makefile+10−10
compare with master
unifiedsplit
@@ -1,17 +1,17 @@
1build: .PHONY
1build: .PHONY
2− make -C base build
2+ $(MAKE) -C base build
3− make -C effects build
3+ $(MAKE) -C effects build
4− make -C javascript build
4+ $(MAKE) -C javascript build
5
5
6
6
7install: .PHONY
7install: .PHONY
8− make -C base install
8+ $(MAKE) -C base install
9− make -C effects install
9+ $(MAKE) -C effects install
10− make -C javascript install
10+ $(MAKE) -C javascript install
11
11
12clean: .PHONY
12clean: .PHONY
13− make -C base clean
13+ $(MAKE) -C base clean
14− make -C effects clean
14+ $(MAKE) -C effects clean
15− make -C javascript clean
15+ $(MAKE) -C javascript clean
16−
16+
17.PHONY:
17.PHONY: