From cdec6b28a27ba5615ee2daab2be4e551df593d1d Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 21 Feb 2018 17:58:19 +0100 Subject: [PATCH] * configure.ac: fix definition of DOT. --- configure.ac | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure.ac b/configure.ac index 0e9591220..04a0a7b1b 100644 --- a/configure.ac +++ b/configure.ac @@ -170,7 +170,7 @@ if test x$enable_warnings = xyes; then fi AM_CONDITIONAL([NEVER], [false]) -AC_CHECK_PROG([DOT], [dot]) +AC_CHECK_PROG([DOT], [dot], [dot]) AC_CHECK_PROG([LBT], [lbt], [lbt]) AC_CHECK_PROG([LTL2BA], [ltl2ba], [ltl2ba]) AC_CHECK_PROG([LTL3BA], [ltl3ba], [ltl3ba])