mirror of
https://github.com/pentoo/pentoo-overlay
synced 2026-04-20 05:41:12 +02:00
pentoo-updater: or correctly
This commit is contained in:
parent
25cdccdf84
commit
33c41bd87f
1 changed files with 7 additions and 2 deletions
|
|
@ -95,8 +95,13 @@ update_kernel() {
|
|||
#okay, we have a config, now we mangle it for x86 as appropriate
|
||||
if [ "${arch}" = "x86" ] && grep -q pae /proc/cpuinfo; then
|
||||
sed -i '/^CONFIG_HIGHMEM4G/s/CONFIG_HIGHMEM4G/# CONFIG_HIGHMEM4G/' "${local_config}"
|
||||
sed -i '/^# *$CONFIG_HIGHMEM64G=/s/^# *//' "${local_config}"
|
||||
sed -i '/^$CONFIG_HIGHMEM64G/s/=.*/=y/' "${local_config}"
|
||||
sed -i '/^# *CONFIG_HIGHMEM64G=/s/^# *//' "${local_config}"
|
||||
sed -i '/^CONFIG_HIGHMEM64G/s/=.*/=y/' "${local_config}"
|
||||
oldpwd=$(pwd)
|
||||
cd "/usr/src/linux-${bestkern}"
|
||||
make olddefconfig
|
||||
cd "${oldpwd}"
|
||||
unset oldpwd
|
||||
fi
|
||||
fi
|
||||
#next we fix the symlink
|
||||
|
|
|
|||
Loading…
Reference in a new issue