diff options
author | Karl Berry <karl@freefriends.org> | 2007-10-02 20:39:59 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2007-10-02 20:39:59 +0000 |
commit | 9c6ae04a1f5bb1d660a37aa8890167b1e51c3a59 (patch) | |
tree | 5397a355dc3db81a7d4d8446e63beae8a3c9c7cf /Build/source | |
parent | 9c9e1d5e6434f13aa45ae9a0e546c4f77f052c38 (diff) |
remove sam2p special case, since we omitted the program.
git-svn-id: svn://tug.org/texlive/trunk@5098 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source')
-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 |