From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Sun, 8 Apr 2018 23:50:40 +0000 (-0700)
Subject: Warn about trailing spaces in src/Makefile.am (#1759)
X-Git-Tag: cvc5-1.0.0~5167
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e2816e7db1da33b3b4cee613e9bb67b0e1c16037;p=cvc5.git

Warn about trailing spaces in src/Makefile.am (#1759)
---

diff --git a/contrib/new-theory b/contrib/new-theory
index b349e78b0..9e4e92a71 100755
--- a/contrib/new-theory
+++ b/contrib/new-theory
@@ -16,6 +16,13 @@ if [ ! -e src/theory/theory_engine.h ]; then
   exit 1
 fi
 
+# Trailing whitespaces in src/Makefile.am mess with the regexps (and are
+# generally undesirable, so we throw an error instead of ignoring them).
+if grep -q '[[:blank:]]$' src/Makefile.am; then
+	echo "ERROR: trailing whitespaces in src/Makefile.am" >&2
+	exit 1
+fi
+
 if [ $# -ge 1 -a "$1" = --alternate ]; then
   shift
   alternate=true