linux: Use local defconfig if available as a file
authorPaul Kocialkowski <contact@paulk.fr>
Mon, 28 Mar 2016 12:49:37 +0000 (14:49 +0200)
committerPaul Kocialkowski <contact@paulk.fr>
Mon, 28 Mar 2016 12:49:37 +0000 (14:49 +0200)
Signed-off-by: Paul Kocialkowski <contact@paulk.fr>
linux/linux-config.sh

index 4e510ad..ba66a55 100755 (executable)
@@ -2,8 +2,10 @@
 
 . ./linux.sh
 
-if [ "$CONFIG" != "" ]
+if [ -f "$CONFIG" ]
 then
+       make -C $SRC O=$DST ARCH=$ARCH CROSS_COMPILE=$CROSS_COMPILE KCONFIG_ALLCONFIG=$CONFIG alldefconfig
+else
        make -C $SRC O=$DST ARCH=$ARCH CROSS_COMPILE=$CROSS_COMPILE $CONFIG
 fi