diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-01-24 02:39:30 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-01-24 02:39:30 +0100 |
| commit | 46b46fbb9169e6be4c33a11f30d700dd72c547ff (patch) | |
| tree | d8c75c465dbff577cabd5389ed1a4dae4c70b43f /debian/local | |
| parent | 85c40d444ada77ff0fd05cc32211fbbe7dba6054 (diff) | |
200MiB memory is a bit tight in some cases, round up to 256MiB
Diffstat (limited to 'debian/local')
| -rwxr-xr-x | debian/local/runsystem | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/local/runsystem b/debian/local/runsystem index ea014477..9019d191 100755 --- a/debian/local/runsystem +++ b/debian/local/runsystem @@ -9,10 +9,10 @@ export PATH /hurd/mach-defpager mem=`vmstat-hurd --size -k` -if [ "$mem" -lt 190000 ] +if [ "$mem" -lt 240000 ] then echo "You only have ${mem}KiB memory." - echo "Debian GNU/Hurd installation currently needs at least 200MiB memory, sorry." + echo "Debian GNU/Hurd installation currently needs at least 256MiB memory, sorry." while true do sleep 60 |