diff options
-rw-r--r-- | Makefile.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index a0f4f38c6..c5d5e2bcb 100644 --- a/Makefile.in +++ b/Makefile.in @@ -8,7 +8,7 @@ #-------------------------------------------------------------- # You shouldn't need to mess with anything beyond this point... #-------------------------------------------------------------- -noconfig_targets := menuconfig config oldconfig randconfig \ +noconfig_targets := menuconfig config oldconfig silentoldconfig randconfig \ defconfig allyesconfig allnoconfig clean distclean \ release dist tags @@ -301,6 +301,9 @@ config: extra/config/conf oldconfig: extra/config/conf $(Q)./extra/config/conf -o extra/Configs/Config.in +silentoldconfig: extra/config/conf + $(Q)./extra/config/conf -s extra/Configs/Config.in + randconfig: extra/config/conf $(Q)./extra/config/conf -r extra/Configs/Config.in |