Commit d4b145f4 authored by Dave Jones's avatar Dave Jones Committed by Jaroslav Kysela

[PATCH] Also look in /boot for .config

Try to get config file distro placed in boot.
parent 98a7e8ac
......@@ -540,9 +540,12 @@ fi
DEFAULTS=.config
if [ ! -f .config ]; then
DEFAULTS=/etc/kernel-config
if [ ! -f $DEFAULTS ]; then
DEFAULTS=/boot/config-`uname -r`
if [ ! -f $DEFAULTS ]; then
DEFAULTS=arch/$ARCH/defconfig
fi
fi
fi
if [ -f $DEFAULTS ]; then
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment