diff options
-rw-r--r-- | subst.in | 4 | ||||
-rwxr-xr-x | subst.sh | 16 |
2 files changed, 0 insertions, 20 deletions
diff --git a/subst.in b/subst.in deleted file mode 100644 index 092efc83..00000000 --- a/subst.in +++ /dev/null @@ -1,4 +0,0 @@ -#! /bin/sed - -s|\${exec_prefix}|@exec_prefix@|; -s|\${prefix}|@prefix@|; diff --git a/subst.sh b/subst.sh deleted file mode 100755 index 25606d30..00000000 --- a/subst.sh +++ /dev/null @@ -1,16 +0,0 @@ -#! /bin/sh - -if [ -x /bin/mktemp ]; then - TEMP=`/bin/mktemp $1.$$.XXXXXX` || exit 1 -else - TEMP=$1.$$.`date +"%S"` - umask 177 - touch $TEMP -fi - -sed -f subst $1 > $TEMP - -chmod +x $TEMP -touch -r $1 $TEMP -cp -p $TEMP $1 -rm $TEMP |