diff options
author | Karl Berry <karl@freefriends.org> | 2006-08-17 20:59:28 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-08-17 20:59:28 +0000 |
commit | 3ee29914f004ac617fd9af4ebebdb9e2bece29fe (patch) | |
tree | 824596bf9f5c8199d5489856942da310f5f60dc8 /Build | |
parent | b6595cb6a59836f4d1241ec21b27aa8ef3dc6bcb (diff) |
tr all - to - for --with options; from Werner Fink
git-svn-id: svn://tug.org/texlive/trunk@1966 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rw-r--r-- | Build/source/configure.in | 2 |
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 |