|
|
@ -35,7 +35,7 @@ menu_begin MENU_PKG_LINUX 'Linux Kernel Options' |
|
|
pkgfilter sed -e "/ linux.*-header / s/^./O/" \ |
|
|
pkgfilter sed -e "/ linux.*-header / s/^./O/" \ |
|
|
-e "/ $ROCKCFG_DEFAULT_KERNEL-header / s/^./X/" |
|
|
-e "/ $ROCKCFG_DEFAULT_KERNEL-header / s/^./X/" |
|
|
|
|
|
|
|
|
if [ $ROCKCFG_PKG_LINUX_CONFIG_STYLE = none ] ; then |
|
|
|
|
|
|
|
|
if [ "$ROCKCFG_PKG_LINUX_CONFIG_STYLE" = none ] ; then |
|
|
ROCKCFGSET_PKG_LINUX_CUSTCONFIG=1 |
|
|
ROCKCFGSET_PKG_LINUX_CUSTCONFIG=1 |
|
|
fi |
|
|
fi |
|
|
|
|
|
|
|
|
|