diff options
| author | Karl Berry <karl@freefriends.org> | 2006-08-17 21:02:30 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2006-08-17 21:02:30 +0000 |
| commit | 848fffb02f917ec94d5144ab8eb6fb16c011d225 (patch) | |
| tree | 83d92d08326dc4b253f3326386dc376dcaf68615 /Build/source/configure | |
| parent | 3ee29914f004ac617fd9af4ebebdb9e2bece29fe (diff) | |
tr all - to - for --with options; from Werner Fink
git-svn-id: svn://tug.org/texlive/trunk@1967 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/configure')
| -rwxr-xr-x | Build/source/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/configure b/Build/source/configure index 7a28d03cd89..94f5c2b8f8f 100755 --- a/Build/source/configure +++ b/Build/source/configure @@ -4765,7 +4765,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 |