fifteen: increase size of pae kernel.

diff --git a/config/rootfiles/core/76/update.sh b/config/rootfiles/core/76/update.sh
index c572e7cc2b3df039175058aff338d6c488e2092c..eafb3cf021aa3a8d121b132e234f31f849dffb02 100644 (file)
--- a/config/rootfiles/core/76/update.sh
+++ b/config/rootfiles/core/76/update.sh
@@ -341,7 +341,7 @@ rm -rf /opt/pakfire/db/*/meta-linux-pae
 if [ ! "$(grep "^flags.* pae " /proc/cpuinfo)" == "" ]; then
        ROOTSPACE=`df / -Pk | sed "s| * | |g" | cut -d" " -f4 | tail -n 1`
        BOOTSPACE=`df /boot -Pk | sed "s| * | |g" | cut -d" " -f4 | tail -n 1`
-       if [ $BOOTSPACE -lt 9000 -o $ROOTSPACE -lt 90000 ]; then
+       if [ $BOOTSPACE -lt 12000 -o $ROOTSPACE -lt 90000 ]; then
                /usr/bin/logger -p syslog.emerg -t ipfire \
                        "core-update-$core: WARNING not enough space for pae kernel."
        else