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