1 files changed, 36 insertions, 0 deletions
diff --git a/doSH b/doSH
new file mode 100644
index 0000000000..4b02784d79
--- /dev/null
+++ b/doSH
@@ -0,0 +1,36 @@
+#!/bin/sh
+
+: if this fails, just run all the .SH files by hand
+. ./config.sh
+
+echo " "
+echo "Doing variable substitutions on .SH files..."
+set x `awk '{print $1}' <MANIFEST | grep '\.SH'`
+shift
+case $# in
+0) set x *.SH; shift;;
+esac
+if test ! -f $1; then
+    shift
+fi
+for file in $*; do
+    set X
+    shift
+    chmod +x $file
+    case "$file" in
+    */*)
+	dir=`expr X$file : 'X\(.*\)/'`
+	file=`expr X$file : 'X.*/\(.*\)'`
+	(cd $dir && . $file)
+	;;
+    *)
+	. $file
+	;;
+    esac
+done
+if test -f config.h.SH; then
+    if test ! -f config.h; then
+	: oops, they left it out of MANIFEST, probably, so do it anyway.
+	. config.h.SH
+    fi
+fi