From 1ef11939d262fb54792ee97b95c1eec3201bbdab Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= <leonard.gerard@ens.fr>
Date: Sun, 29 Aug 2010 23:50:50 +0200
Subject: [PATCH] Heptc wrapper fix.

---
 heptc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/heptc b/heptc
index 671d0c3..3172544 100755
--- a/heptc
+++ b/heptc
@@ -7,6 +7,7 @@ COMPILER_DIR=compiler #relative to the script_dir
 COMPILER=heptc.native
 HEPTC=$COMPILER_DIR/$COMPILER
 
+RUN_DIR=`pwd`
 cd $SCRIPT_DIR
 
 if [ ! -x $HEPTC ] #compile the compiler
@@ -21,6 +22,6 @@ then
 	$HEPTC -nopervasives lib/pervasives.epi
 fi
 
-cd -
+cd $RUN_DIR
 
 $SCRIPT_DIR/$HEPTC -stdlib $SCRIPT_DIR/lib "$@" #call the compiler with the passed arguments.