emulator: fix runtime

This commit is contained in:
Pavol Rusnak 2018-02-28 00:22:43 +01:00
parent 7fa146fedb
commit 27f9f986c5
No known key found for this signature in database
GPG Key ID: 91F3B339B9A02A3D
1 changed files with 2 additions and 2 deletions

4
emu.sh
View File

@ -7,9 +7,9 @@ OPTLEVEL="${OPTLEVEL:-1}"
MAIN="${MAIN:-main.py}" MAIN="${MAIN:-main.py}"
BROWSER="${BROWSER:-chromium}" BROWSER="${BROWSER:-chromium}"
if file $EXE | grep -q 80386 ; then if file $EXE | grep -q 80386 ; then
HEAPSIZE="${HEAPSIZE:-163K}" HEAPSIZE="${HEAPSIZE:-170K}"
else else
HEAPSIZE="${HEAPSIZE:-326K}" HEAPSIZE="${HEAPSIZE:-340K}"
fi fi
ARGS="-O${OPTLEVEL} -X heapsize=${HEAPSIZE}" ARGS="-O${OPTLEVEL} -X heapsize=${HEAPSIZE}"