summaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2000-04-04 07:03:55 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2000-04-04 07:03:55 +0000
commit8e6f2a8b75aa4a84abfa217f40ab6483898bc1ee (patch)
treeb7611854e9d7aedd2fb204eb026b32647de3391f /configure
parent40915d59fd26f1f77408f4069e03f4d5648847de (diff)
traite aussi les -W... dans tk_libs
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3035 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 871616be5..6d3cacded 100755
--- a/configure
+++ b/configure
@@ -923,7 +923,7 @@ if test $has_tk = true; then
fi
if test $has_tk = true; then
- tk_libs=`echo $tk_libs | sed -e 's/-l/-cclib &/g' -e 's/-L/-ccopt &/g' `
+ tk_libs=`echo $tk_libs | sed -e 's/-l/-cclib &/g' -e 's/-[LW]/-ccopt &/g' `
echo "TK_DEFS=$tk_defs" >> Makefile
echo "TK_LINK=$tk_libs" >> Makefile
otherlibraries="$otherlibraries labltk"