Bail out if both autogen and autogen'erated file(s) are missing.

This makes the error message(s) more helpful.

diff --git a/ginac/Makefile.am b/ginac/Makefile.am
index 0570fde2fab9ea58cd45124e59fa7e3b895278d1..17b272f230f142d9dba9597b81ea3f19ab2fe719 100644 (file)
--- a/ginac/Makefile.am
+++ b/ginac/Makefile.am
@@ -45,6 +45,7 @@ $(srcdir)/parser/builtin_fcns.cpp: $(srcdir)/parser/builtin_fcns.def $(srcdir)/p
        else \
                echo "*** ERROR: the \"$@\" file does not exist, and AutoGen is not installed on your system"; \
                echo "***        Please install AutoGen (http://www.gnu.org/software/autogen)"; \
+               exit 1; \
        fi