continue when an include file is not found

diff --git a/util/cpp/domacro.c b/util/cpp/domacro.c
index 17027e5..8b01e53 100644 (file)
--- a/util/cpp/domacro.c
+++ b/util/cpp/domacro.c
@@ -269,7 +269,7 @@ do_include()
        inctable[0] = WorkingDir;
        if (filenm) {
                if (!InsertFile(filenm, &inctable[tok==FILESPECIFIER],&result)){
-                       fatal("cannot find include file \"%s\"", filenm);
+                       error("cannot find include file \"%s\"", filenm);
                }
                else {
                        WorkingDir = getwdir(result);