diff options
Diffstat (limited to 'Build')
| -rw-r--r-- | Build/source/configure.in | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/Build/source/configure.in b/Build/source/configure.in index dc276b381c2..959608b50be 100644 --- a/Build/source/configure.in +++ b/Build/source/configure.in @@ -255,18 +255,6 @@ for pkg in $PKGS; do if test -d $srcdir/utils/$pkg; then if eval "test \"`echo '$with_'${pkg}|sed 's/-/_/g'`\" != no"; then ESUBDIRS="$ESUBDIRS utils/$pkg" - if test $pkg = sam2p; then - # attempt to discover if srcdir = builddir. - dir1=`cd $srcdir/utils/sam2p && /bin/pwd` - dir2=`cd utils/sam2p 2>/dev/null && /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 AC_CONFIG_SUBDIRS([utils/$pkg]) fi fi |