Commit cdec6b28 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* fix definition of DOT.

parent e8ce4b8c
...@@ -170,7 +170,7 @@ if test x$enable_warnings = xyes; then ...@@ -170,7 +170,7 @@ if test x$enable_warnings = xyes; then
fi fi
AC_CHECK_PROG([DOT], [dot]) AC_CHECK_PROG([DOT], [dot], [dot])
AC_CHECK_PROG([LBT], [lbt], [lbt]) AC_CHECK_PROG([LBT], [lbt], [lbt])
AC_CHECK_PROG([LTL2BA], [ltl2ba], [ltl2ba]) AC_CHECK_PROG([LTL2BA], [ltl2ba], [ltl2ba])
AC_CHECK_PROG([LTL3BA], [ltl3ba], [ltl3ba]) AC_CHECK_PROG([LTL3BA], [ltl3ba], [ltl3ba])
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