** will be <tmpprefix>.<file>.c)
*/
+ /* Why was this here? It is always a bug... */
+# if 0
{
-# ifdef WIN32
+# if defined (WIN32) || defined (OS2) && defined (__IBMC__)
int nfiles = /*@-unrecog@*/ _fcloseall (); /*@=unrecog@*/
if (nfiles != 0)
}
# endif
}
+# endif
DPRINTF (("Initializing..."));
}
cstring_free (specErrors);
+
+ if (context_numBugs () > 0) {
+ expsuccess = FALSE;
+ if (!isQuiet) {
+ llmsg (message (" %d internal bugs reported", context_numBugs ()));
+ }
+ }
}
if (context_getFlag (FLG_STATS))
clock_t ttime = clock () - before;
int specLines = context_getSpecLinesProcessed ();
cstring specmsg = cstring_undefined;
-
+
rstime = clock ();
if (specLines > 0)
}
else
{
-# ifdef WIN32
+# if defined (WIN32) || defined (OS2) && defined (__IBMC__)
int nfiles = /*@-unrecog@*/ _fcloseall (); /*@=unrecog@*/
if (nfiles != 0)
{
DPRINTF (("llexit: %d", status));
-# ifdef WIN32
+# if defined (WIN32) || defined (OS2) && defined (__IBMC__)
if (status == LLFAILURE)
{
_fcloseall ();