summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2002-10-22 12:28:32 +0000
committerDamien Doligez <damien.doligez-inria.fr>2002-10-22 12:28:32 +0000
commit9d2e1355c5aa1d8b724aae6596d33a7f8d70dab1 (patch)
tree8060ec008448e81ae8fc62bd00660c96632da905
parent3ac31cace20b4553114499547dbfc587ab2c9215 (diff)
bricole pour faciliter le debug de td_defs
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5185 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 1a558b6ef..0128859bd 100755
--- a/configure
+++ b/configure
@@ -1242,7 +1242,7 @@ if test $has_tk = true; then
tcl_version=`sh ./runtest $tk_defs $tk_x11_include tclversion.c`
fi
if test -n "$tcl_version"; then
- echo "tcl.h version $tcl_version found."
+ echo "tcl.h version $tcl_version found with \"$tk_defs\"."
case $tcl_version in
7.5) tclmaj=7 tclmin=5 tkmaj=4 tkmin=1 ;;
7.6) tclmaj=7 tclmin=6 tkmaj=4 tkmin=2 ;;