Heptc: keep the native compiler when it is already compiled.

13 years ago · a1ba01ab90
parent 8d772e20e2
commit a1ba01ab90
1 changed files with 6 additions and 1 deletions
--- a/7
+++ b/7
@ -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"