on master help sign in
Remove oldeffects from build
commite707475695adbd37b98afb17bff861df0be27c3e authorEdwin Brady <ecb10@st-andrews.ac.uk> dateSat 5 Apr 2014, 18:02 (13 years ago) parentd53dc76
1 file changed−3
libs/Makefile−3
libs/Makefile−3
@@ -2,7 +2,6 @@ build:
22 $(MAKE) -C prelude build
33 $(MAKE) -C base build
44 $(MAKE) -C effects build
5− $(MAKE) -C oldeffects build
65 $(MAKE) -C javascript build
76
87
@@ -10,14 +9,12 @@ install:
109 $(MAKE) -C prelude install
1110 $(MAKE) -C base install
1211 $(MAKE) -C effects install
13− $(MAKE) -C oldeffects install
1412 $(MAKE) -C javascript install
1513
1614clean:
1715 $(MAKE) -C prelude clean
1816 $(MAKE) -C base clean
1917 $(MAKE) -C effects clean
20− $(MAKE) -C oldeffects clean
2118 $(MAKE) -C javascript clean
2219
2320.PHONY: build install clean