From 636173632ae88c715b7cfa9b137f38247c24a4d9 Mon Sep 17 00:00:00 2001 From: Ivan Davidov Date: Mon, 4 Dec 2017 02:54:41 +0200 Subject: [PATCH] Minor updates in '.config'. --- src/.config | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/.config b/src/.config index dee0b40c7..5029572bf 100644 --- a/src/.config +++ b/src/.config @@ -263,11 +263,13 @@ OVERLAY_LOCATION=iso # internet. This is useful when you have already downloaded the sources and have # no internet connection. Or if you want to share your version of "Minimal Linux # Live" with predefined sources. +# USE_LOCAL_SOURCE=false # This property enables the standard penguin boot logo in the upper left corner # of the screen. The property is used in 'xx_build_kernel.sh'. The default value # is 'true' for demonstration purposes. +# USE_BOOT_LOGO=true # This property is the multiplicator which is used during the build process. The @@ -275,8 +277,10 @@ USE_BOOT_LOGO=true # cores mutiplied by this property. For example, if you set this property with # value '2' and if your CPU has 4 cores, then the number of 'make' jobs will be # 4 * 2 = 8. Don't change this property unless you know what 'make' jobs are! +# JOB_FACTOR=1 # This property defines the default GCC flags to be used during the compilation # process. You can use your own flags here or even completely remove the flags. +# CFLAGS=-Os -s -fno-stack-protector -fomit-frame-pointer -U_FORTIFY_SOURCE