From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 25 Oct 2012 19:47:29 +0000 (+0000)
Subject: extra quoting for special character
X-Git-Tag: cvc5-1.0.0~7671
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9e8d041fd0b66816a65a2a07359abe42aeb8a7dd;p=cvc5.git

extra quoting for special character
---

diff --git a/configure.ac b/configure.ac
index ccc38cafb..b0940c965 100644
--- a/configure.ac
+++ b/configure.ac
@@ -482,7 +482,7 @@ fi
 AC_MSG_RESULT([$enable_static_binary])
 if test "$nable_static_binary" = yes; then
   if test "$target_os" = darwin; then
-    AC_MSG_ERROR([Statically-linked binaries are not supported on Mac OS.  See https://developer.apple.com/library/mac/#qa/qa2001/qa1118.html])
+    AC_MSG_ERROR([[Statically-linked binaries are not supported on Mac OS.  See https://developer.apple.com/library/mac/#qa/qa2001/qa1118.html]])
   fi
   if test "$enable_static" != yes; then
     enable_static=yes