diff options
Diffstat (limited to 'Config/installfns.sh')
| -rwxr-xr-x | Config/installfns.sh | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/Config/installfns.sh b/Config/installfns.sh index 21147dea4..ec738e2d7 100755 --- a/Config/installfns.sh +++ b/Config/installfns.sh @@ -2,10 +2,6 @@ fndir=$DESTDIR$fndir -if test -d $fndir.old; then - add_old=1 -fi - $sdir_top/mkinstalldirs $fndir || exit 1; # If the source directory is somewhere else, we need to force @@ -24,27 +20,14 @@ for file in $install; do if test x$FUNCTIONS_SUBDIRS != x -a x$FUNCTIONS_SUBDIRS != xno; then subfile="$file" subdir="`echo $file | sed -e 's%/[^/]*$%%'`" - olddir="$fndir.old/$subdir" instdir="$fndir/$subdir" else subfile="`echo $file | sed -e 's%^.*/%%'`" - olddir="$fndir.old" instdir="$fndir" fi - if test -f $fndir/$subfile; then - if cmp $fndir/$subfile $sdir/$file >/dev/null; then :; else - $sdir_top/mkinstalldirs $olddir - mv $fndir/$subfile $olddir - : ${add_old:=1} - fi - fi $sdir_top/mkinstalldirs $instdir || exit 1 $INSTALL_DATA $sdir/$file $instdir || exit 1 fi done -if test x$add_old != x1; then - rm -rf $fndir.old -fi - exit 0 |