diff options
Diffstat (limited to 'tools/build/install-if-change.in')
| -rw-r--r-- | tools/build/install-if-change.in | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/tools/build/install-if-change.in b/tools/build/install-if-change.in index b2f3cb04bb..9db1927044 100644 --- a/tools/build/install-if-change.in +++ b/tools/build/install-if-change.in @@ -14,9 +14,6 @@ # large variability across systems and we also need to support ou # -V option. # So we just copy and chmod by hand. -# -# $Id$ -# progname=`basename $0` #progname=${0##*/} # fast basename hack for ksh, bash |