1 files changed, 0 insertions, 11 deletions
diff --git a/util/et/compile_et.sh b/util/et/compile_et.sh
deleted file mode 100755
index 2b17bff..0000000
--- a/util/et/compile_et.sh
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/bin/sh
-#
-#
-AWK=@AWK@
-DIR=@DIR@
-
-ROOT=`echo $1 | sed -e s/.et$//`
-BASE=`echo $ROOT | sed -e 's;.*/;;'`
-
-$AWK -f ${DIR}/et_h.awk outfile=${BASE}.h $ROOT.et
-$AWK -f ${DIR}/et_c.awk outfile=${BASE}.c $ROOT.et