summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2006-08-17 20:59:28 +0000
committerKarl Berry <karl@freefriends.org>2006-08-17 20:59:28 +0000
commit3ee29914f004ac617fd9af4ebebdb9e2bece29fe (patch)
tree824596bf9f5c8199d5489856942da310f5f60dc8
parentb6595cb6a59836f4d1241ec21b27aa8ef3dc6bcb (diff)
tr all - to - for --with options; from Werner Fink
git-svn-id: svn://tug.org/texlive/trunk@1966 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r--Build/source/configure.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/configure.in b/Build/source/configure.in
index 964bc673e0e..049f1fedf5d 100644
--- a/Build/source/configure.in
+++ b/Build/source/configure.in
@@ -233,7 +233,7 @@ ESUBDIRS=
test -d utils || mkdir utils
for pkg in $PKGS; do
if test -d $srcdir/utils/$pkg; then
- if eval "test \"`echo '$with_'${pkg}`\" != no"; then
+ 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