From e40c436b827080de61c0c3c353d769aa13d790e0 Mon Sep 17 00:00:00 2001 From: Pavol Rusnak Date: Mon, 6 Nov 2017 14:56:16 +0100 Subject: [PATCH] emu: increase heap size --- emu.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/emu.sh b/emu.sh index 8d7f4cc988..82485e738b 100755 --- a/emu.sh +++ b/emu.sh @@ -7,9 +7,9 @@ OPTLEVEL="${OPTLEVEL:-0}" MAIN="${MAIN:-main.py}" BROWSER="${BROWSER:-chromium}" if file $EXE | grep -q 80386 ; then -HEAPSIZE="${HEAPSIZE:-100000}" +HEAPSIZE="${HEAPSIZE:-163K}" else -HEAPSIZE="${HEAPSIZE:-1000000}" +HEAPSIZE="${HEAPSIZE:-326K}" fi ARGS="-O${OPTLEVEL} -X heapsize=${HEAPSIZE}"