From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Wed, 9 Aug 2017 23:33:23 +0000 (-0700)
Subject: Fix help message for disable-unit-testing in configure.ac (don't -> do not)
X-Git-Tag: cvc5-1.0.0~5686
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bef144161afe863238290b026752530613fd4823;p=cvc5.git

Fix help message for disable-unit-testing in configure.ac (don't -> do not)

Previous help message broke syntax highlighting in vim.
---

diff --git a/configure.ac b/configure.ac
index 664cf215c..55bd91c9d 100644
--- a/configure.ac
+++ b/configure.ac
@@ -927,7 +927,7 @@ DX_PS_FEATURE(OFF)
 DX_DOT_FEATURE(OFF)
 DX_INIT_DOXYGEN($PACKAGE_NAME, config/doxygen.cfg, $srcdir/doc/doxygen)
 
-AC_ARG_ENABLE([unit-testing], AS_HELP_STRING([--disable-unit-testing], [don't build support for unit testing, even if available]), , [enable_unit_testing=check])
+AC_ARG_ENABLE([unit-testing], AS_HELP_STRING([--disable-unit-testing], [do not build support for unit testing, even if available]), , [enable_unit_testing=check])
 AC_ARG_VAR(CXXTEST, [path to CxxTest installation])
 AC_ARG_WITH([cxxtest-dir],
   [AS_HELP_STRING([--with-cxxtest-dir=DIR], [path to CxxTest installation])],