From: hachti Date: Tue, 7 Nov 2006 16:09:47 +0000 (+0000) Subject: *** empty log message *** X-Git-Url: http://gitweb.hachti.de/?a=commitdiff_plain;h=5170f65548f7d5f06b5646399cfce5e74cbfc6f7;p=h316.git *** empty log message *** --- 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 <