1 files changed, 24 insertions, 0 deletions
diff --git a/lib/ss/mk_cmds.sh.in b/lib/ss/mk_cmds.sh.in
new file mode 100644
index 00000000..48660815
--- /dev/null
+++ b/lib/ss/mk_cmds.sh.in
@@ -0,0 +1,24 @@
+#!/bin/sh
+#
+#
+
+DIR=@SS_DIR@
+AWK=@AWK@
+SED=@SED@
+
+FILE=$1
+ROOT=`echo $1 | sed -e s/.ct$//`
+BASE=`basename $ROOT`
+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
+	rm -f ${BASE}.c
+	mv ${TMP} ${BASE}.c
+	exit 0
+fi