emu: increase heapsize

pull/25/head
Pavol Rusnak 6 years ago
parent 7dc207a8df
commit b77646904b
No known key found for this signature in database
GPG Key ID: 91F3B339B9A02A3D

@ -6,11 +6,7 @@ EXE=build/unix/micropython
OPTLEVEL="${OPTLEVEL:-1}"
MAIN="${MAIN:-main.py}"
BROWSER="${BROWSER:-chromium}"
if file $EXE | grep -q 80386 ; then
HEAPSIZE="${HEAPSIZE:-170K}"
else
HEAPSIZE="${HEAPSIZE:-340K}"
fi
HEAPSIZE="${HEAPSIZE:-800K}"
ARGS="-O${OPTLEVEL} -X heapsize=${HEAPSIZE}"

Loading…
Cancel
Save