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