Commit d4ecc5b5 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Fix warning message.

parent 0eab0f1b
...@@ -465,7 +465,7 @@ if test "$enable_coq_libs" = yes; then ...@@ -465,7 +465,7 @@ if test "$enable_coq_libs" = yes; then
AC_CHECK_PROG(COQDEP,coqdep,coqdep,no) AC_CHECK_PROG(COQDEP,coqdep,coqdep,no)
if test "$COQDEP" = no ; then if test "$COQDEP" = no ; then
enable_coq_libs=no enable_coq_libs=no
AC_MSG_WARN(Cannot find coqc.) AC_MSG_WARN(Cannot find coqdep.)
reason_coq_libs=" (coqdep not found)" reason_coq_libs=" (coqdep not found)"
fi fi
fi fi
Supports Markdown
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