From 27f9f986c55ffb197a9db587d138b59867551ea7 Mon Sep 17 00:00:00 2001 From: Pavol Rusnak Date: Wed, 28 Feb 2018 00:22:43 +0100 Subject: [PATCH] emulator: fix runtime --- emu.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/emu.sh b/emu.sh index 9c9f2b11c1..82ec188aea 100755 --- a/emu.sh +++ b/emu.sh @@ -7,9 +7,9 @@ OPTLEVEL="${OPTLEVEL:-1}" MAIN="${MAIN:-main.py}" BROWSER="${BROWSER:-chromium}" if file $EXE | grep -q 80386 ; then -HEAPSIZE="${HEAPSIZE:-163K}" +HEAPSIZE="${HEAPSIZE:-170K}" else -HEAPSIZE="${HEAPSIZE:-326K}" +HEAPSIZE="${HEAPSIZE:-340K}" fi ARGS="-O${OPTLEVEL} -X heapsize=${HEAPSIZE}"