# Makefile for GNU make .PHONY: all 13_spotlight .DEFAULT all: 13_spotlight 13_spotlight: $(MAKE) -f Makefile.13_spotlight 13_spotlight .DEFAULT: $(MAKE) -f Makefile.13_spotlight $@
# Makefile for GNU make .PHONY: all 13_spotlight .DEFAULT all: 13_spotlight 13_spotlight: $(MAKE) -f Makefile.13_spotlight 13_spotlight .DEFAULT: $(MAKE) -f Makefile.13_spotlight $@