GOALS = all opt clean clean.opt
-DEVELS = Level-1/Base Level-1/LambdaDelta Unified
+DEVELS = Base-1 LambdaDelta-1 Base-2 Unified-Sub
$(GOALS):
- @$(foreach DEVEL, $(DEVELS), $(MAKE) -C $(DEVEL) $@;)
+ @$(foreach DEVEL, $(DEVELS), $(MAKE) -k -C $(DEVEL) $@;)
.PHONY: (GOALS)