Commit e55a35d7 authored by bguillaum's avatar bguillaum

try to fix configure

git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/semagramme/dep2pict/trunk@7000 7838e531-6607-4d57-9587-6c381814729c
parent 0cc32c23
......@@ -2128,7 +2128,7 @@ $as_echo "standard" >&6; }
ANSITERMINAL="yes"
else
if test "$OCAMLFIND" = no ; then
as_fn_error $? "The ansiterminal lib is missing." "$LINENO" 5
as_fn_error $? "The ANSITerminal lib is missing." "$LINENO" 5
ANSITERMINAL=no
else
if $OCAMLFIND query ansiterminal > /dev/null 2>&1 ; then
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment