1 2# Don't bother defining default values for SEED and EXTRA_FLAGS. 3# Their "natural" default values should be sufficient, 4# and they may be overridden in the environment. 5ifneq ($(strip $(SEED)),) 6SEEDOPT=-S$(SEED) 7endif 8 9$(MAKECMDGOALS): 10 @$(basename $(MAKEFILE_LIST)).sh -G -j $(SEEDOPT) $(EXTRA_FLAGS) $@ 11 12.PHONY: $(MAKECMDGOALS) 13 14