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.
5 ifneq ($(strip $(SEED
)),)
10 @
$(basename $(MAKEFILE_LIST
)).sh
-G
-j
$(SEEDOPT
) $(EXTRA_FLAGS
) $@
12 .PHONY
: $(MAKECMDGOALS
)