diff options
author | Karl Berry <karl@freefriends.org> | 2006-08-21 22:49:26 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-08-21 22:49:26 +0000 |
commit | 539f48b5a6bff0ec7df5a34acfa2655a7c978150 (patch) | |
tree | 069a39a502fc53bb7c8e6ae2e318085862f6f42c /Build/source | |
parent | 1cb8d5ae6bdcf8306ed1bc0da315dcb83356d189 (diff) |
do not copy if srcdir=builddir
git-svn-id: svn://tug.org/texlive/trunk@1999 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source')
-rwxr-xr-x | Build/source/configure | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/Build/source/configure b/Build/source/configure index 94f5c2b8f8f..dcfcc4aa98e 100755 --- a/Build/source/configure +++ b/Build/source/configure @@ -4768,11 +4768,16 @@ for pkg in $PKGS; do if eval "test \"`echo '$with_'${pkg}|sed 's/-/_/g'`\" != no"; then ESUBDIRS="$ESUBDIRS utils/$pkg" if test $pkg = sam2p; then - # this is a terrible kludge, but sam2p configure actively - # defeats srcdir!=objdir support, and Peter S. doesn't want to - # fix it. So copy the entire sam2p srcdir into objdir. - rm -rf utils/sam2p - cp -pr $srcdir/utils/sam2p utils + # attempt to discover if srcdir = builddir. + dir1=`cd $srcdir/utils/sam2p && /bin/pwd` + dir2=`cd utils/sam2p && /bin/pwd` + if test "$dir1" != "$dir2"; then + # this is a terrible kludge, but sam2p configure actively + # defeats srcdir!=objdir support, and Peter S. doesn't want to + # fix it. So copy the entire sam2p srcdir into objdir. + rm -rf utils/sam2p + cp -pr $srcdir/utils/sam2p utils + fi fi subdirs="$subdirs utils/$pkg" |