From e2816e7db1da33b3b4cee613e9bb67b0e1c16037 Mon Sep 17 00:00:00 2001
From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Sun, 8 Apr 2018 16:50:40 -0700
Subject: [PATCH] Warn about trailing spaces in src/Makefile.am (#1759)

---
 contrib/new-theory | 7 +++++++
 1 file changed, 7 insertions(+)

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
-- 
2.30.2