From d94b0fe3c8ed2332f00aa69fb54b8c17edb335b8 Mon Sep 17 00:00:00 2001 From: steve Date: Sun, 18 Aug 2002 22:06:29 +0000 Subject: [PATCH] Terminate if the functors signal errors. --- main.cc | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/main.cc b/main.cc index bb746fe3e..7a160fabb 100644 --- a/main.cc +++ b/main.cc @@ -19,7 +19,7 @@ const char COPYRIGHT[] = * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA */ #ifdef HAVE_CVS_IDENT -#ident "$Id: main.cc,v 1.63 2002/08/12 01:34:59 steve Exp $" +#ident "$Id: main.cc,v 1.64 2002/08/18 22:06:29 steve Exp $" #endif # include "config.h" @@ -566,6 +566,12 @@ int main(int argc, char*argv[]) des->dump(out); } + if (des->errors) { + cerr << des->errors + << " error(s) in post-elaboration processing." << + endl; + return des->errors; + } if (verbose_flag) { if (times_flag) { @@ -573,6 +579,9 @@ int main(int argc, char*argv[]) cerr<<" ... done, " <