diff options
-rwxr-xr-x | scripts/mkmakefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/mkmakefile b/scripts/mkmakefile index 7f9d544f9..9fc51a7c9 100755 --- a/scripts/mkmakefile +++ b/scripts/mkmakefile | |||
@@ -31,6 +31,9 @@ all: | |||
31 | 31 | ||
32 | Makefile:; | 32 | Makefile:; |
33 | 33 | ||
34 | \$(filter-out all Makefile,\$(MAKECMDGOALS)) %/: | 34 | \$(filter-out all Makefile,\$(MAKECMDGOALS)): |
35 | \$(MAKE) -C \$(KERNELSRC) O=\$(KERNELOUTPUT) \$@ | ||
36 | |||
37 | %/: | ||
35 | \$(MAKE) -C \$(KERNELSRC) O=\$(KERNELOUTPUT) \$@ | 38 | \$(MAKE) -C \$(KERNELSRC) O=\$(KERNELOUTPUT) \$@ |
36 | EOF | 39 | EOF |