diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/mkmakefile | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/scripts/mkmakefile b/scripts/mkmakefile index 7f9d544f9b..ee39facee1 100644 --- a/scripts/mkmakefile +++ b/scripts/mkmakefile | |||
| @@ -26,11 +26,13 @@ MAKEFLAGS += --no-print-directory | |||
| 26 | 26 | ||
| 27 | .PHONY: all \$(MAKECMDGOALS) | 27 | .PHONY: all \$(MAKECMDGOALS) |
| 28 | 28 | ||
| 29 | all := \$(filter-out all Makefile,\$(MAKECMDGOALS)) | ||
| 30 | |||
| 29 | all: | 31 | all: |
| 30 | \$(MAKE) -C \$(KERNELSRC) O=\$(KERNELOUTPUT) | 32 | \$(MAKE) -C \$(KERNELSRC) O=\$(KERNELOUTPUT) \$(all) |
| 31 | 33 | ||
| 32 | Makefile:; | 34 | Makefile:; |
| 33 | 35 | ||
| 34 | \$(filter-out all Makefile,\$(MAKECMDGOALS)) %/: | 36 | \$(all) %/: all |
| 35 | \$(MAKE) -C \$(KERNELSRC) O=\$(KERNELOUTPUT) \$@ | 37 | @: |
| 36 | EOF | 38 | EOF |
