continue when an include file is not found

This commit is contained in:
ceriel 1989-06-15 09:16:27 +00:00
parent cd367c7940
commit 4dfa2310fc

View file

@ -269,7 +269,7 @@ do_include()
inctable[0] = WorkingDir; inctable[0] = WorkingDir;
if (filenm) { if (filenm) {
if (!InsertFile(filenm, &inctable[tok==FILESPECIFIER],&result)){ if (!InsertFile(filenm, &inctable[tok==FILESPECIFIER],&result)){
fatal("cannot find include file \"%s\"", filenm); error("cannot find include file \"%s\"", filenm);
} }
else { else {
WorkingDir = getwdir(result); WorkingDir = getwdir(result);