From b77646904b172f6c639650e5639a4fc051982537 Mon Sep 17 00:00:00 2001
From: Pavol Rusnak <stick@gk2.sk>
Date: Thu, 1 Mar 2018 03:19:08 +0100
Subject: [PATCH] emu: increase heapsize

---
 emu.sh | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/emu.sh b/emu.sh
index 82ec188aea..d5bad22c0a 100755
--- a/emu.sh
+++ b/emu.sh
@@ -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}"