From a1ba01ab905008077ced4cd4670276c6d960490c Mon Sep 17 00:00:00 2001
From: Adrien Guatto <adrien.guatto@laposte.net>
Date: Tue, 6 Dec 2011 13:50:01 +0100
Subject: [PATCH] Heptc: keep the native compiler when it is already compiled.

---
 heptc | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/heptc b/heptc
index 79ffe74..ed73cff 100755
--- a/heptc
+++ b/heptc
@@ -8,7 +8,12 @@ RUN_DIR="`pwd`"
 SCRIPT_DIR=`dirname $(python -c "import os, sys; print os.path.realpath(\"$0\")")`
 
 COMPILER_DIR="$SCRIPT_DIR/compiler"
-COMPILER=heptc.byte
+if [ -x $COMPILER_DIR/heptc.native ];
+then
+    COMPILER=heptc.native
+else
+    COMPILER=heptc.byte
+fi
 COMPILER_DEBUG=heptc.d.byte
 LIB_DIR="$SCRIPT_DIR/lib"