diff options
| author | Jelmer Vernooij <jelmer@samba.org> | 2006-03-16 13:04:28 +0000 |
|---|---|---|
| committer | Gerald (Jerry) Carter <jerry@samba.org> | 2007-10-10 13:57:30 -0500 |
| commit | 3bb28c83e277bda9233de4cca71f367ce00be5c3 (patch) | |
| tree | 6ee7d8b6c5d12ada27366452b99d250a10353039 /source4/script/installheader.sh | |
| parent | 4f1c8daa36a7a0372c5fd9eab51f3c16ee81c49d (diff) | |
| download | samba-3bb28c83e277bda9233de4cca71f367ce00be5c3.tar.gz samba-3bb28c83e277bda9233de4cca71f367ce00be5c3.tar.bz2 samba-3bb28c83e277bda9233de4cca71f367ce00be5c3.zip | |
r14471: Convert installheader script to perl
(This used to be commit c6a478a1af38cad5622d3c3c53a7a99f9770b169)
Diffstat (limited to 'source4/script/installheader.sh')
| -rwxr-xr-x | source4/script/installheader.sh | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/source4/script/installheader.sh b/source4/script/installheader.sh deleted file mode 100755 index 9aed5ed1c3..0000000000 --- a/source4/script/installheader.sh +++ /dev/null @@ -1,26 +0,0 @@ -#!/bin/sh - -INCLUDEDIR=$1 -shift - -for p in $*; do - p2=`basename $p` - echo Installing $p as $INCLUDEDIR/$p2 - if [ -f $INCLUDEDIR/$p2 ]; then - rm -f $INCLUDEDIR/$p2.old - mv $INCLUDEDIR/$p2 $INCLUDEDIR/$p2.old - fi - cp $p $INCLUDEDIR/ - -done - -cat << EOF -====================================================================== -The headers are installed. You may restore the old headers (if there -were any) using the command "make revert". You may uninstall the headers -using the command "make uninstallheader" or "make uninstall" to uninstall -binaries, man pages and shell scripts. -====================================================================== -EOF - -exit 0 |