1 files changed, 0 insertions, 23 deletions
diff --git a/util/ss/mk_cmds.sh b/util/ss/mk_cmds.sh
deleted file mode 100755
index d41ab90..0000000
--- a/util/ss/mk_cmds.sh
+++ /dev/null
@@ -1,23 +0,0 @@
-#!/bin/sh
-#
-#
-
-DIR=@DIR@
-AWK=@AWK@
-SED=@SED@
-
-FILE=$1
-ROOT=`echo $1 | sed -e s/.ct$//`
-BASE=`echo $ROOT | sed -e 's;.*/;;'`
-TMP=ct$$.c
-
-${SED} -f ${DIR}/ct_c.sed  ${FILE} \
-	| ${AWK} -f ${DIR}/ct_c.awk rootname=${ROOT} outfile=${TMP} -
-
-if grep "^#__ERROR_IN_FILE" ${TMP} > /dev/null; then
-	rm ${TMP}
-	exit 1
-else
-	mv ${TMP} ${BASE}.c
-	exit 0
-fi