From 99460e24e59a24110e78165bd46a7c63069ab80c Mon Sep 17 00:00:00 2001
From: Adrien Guatto <adrien@guatto.org>
Date: Fri, 12 Oct 2018 16:05:09 +0200
Subject: [PATCH] Remove broken Python bit from heptc script

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

diff --git a/heptc b/heptc
index f0c14ce..633260c 100755
--- a/heptc
+++ b/heptc
@@ -1,11 +1,12 @@
 #!/bin/bash
-#Small wrapper to deal with compilation of the compiler and the stdlib.
+#
+# Small wrapper to deal with compilation of the compiler and the stdlib.
 
 STATUS=0
 
 RUN_DIR="`pwd`"
 
-SCRIPT_DIR=`dirname $(python -c "import os, sys; print os.path.realpath(\"$0\")")`
+SCRIPT_DIR=`dirname $(realpath $0)`
 
 COMPILER_DIR="$SCRIPT_DIR/compiler"
 if [ -x $COMPILER_DIR/heptc.native ];