diff options
| -rw-r--r-- | Makefile.inc1 | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.inc1 b/Makefile.inc1 index 343ae78450c9..f6a9c747d461 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -702,6 +702,10 @@ distrib-dirs distribution: NO_KERNELCLEAN= t NO_KERNELCONFIG= t NO_KERNELDEPEND= t +# Shortcut for KERNCONF=Blah -DKERNFAST is now KERNFAST=Blah +.if !defined(KERNCONF) && ${KERNFAST} != "1" +KERNCONF=${KERNFAST} +.endif .endif .if !defined(KERNCONF) && defined(KERNEL) KERNCONF= ${KERNEL} |