From 5170f65548f7d5f06b5646399cfce5e74cbfc6f7 Mon Sep 17 00:00:00 2001 From: hachti Date: Tue, 7 Nov 2006 16:09:47 +0000 Subject: [PATCH] *** empty log message *** --- systems/build_super2.sh | 80 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 80 insertions(+) create mode 100755 systems/build_super2.sh diff --git a/systems/build_super2.sh b/systems/build_super2.sh new file mode 100755 index 0000000..5444a71 --- /dev/null +++ b/systems/build_super2.sh @@ -0,0 +1,80 @@ +#!/bin/sh + +DO_FILE=s2.do + +if [ ! "$MAKE" ]; then + echo "Not run from within a Makefile!" + exit 4 +fi + +cat > $DO_FILE <