diff --git a/main.c b/main.c index ee7f20abf..19edb322d 100644 --- a/main.c +++ b/main.c @@ -579,6 +579,8 @@ decode_trace_flags (stringlist_t *ppsz_tracing_opts) db_level = DB_BASIC | DB_TRACE; else if (0 == strcmp(*p, "read")) db_level |= DB_READ_MAKEFILES; + else + OS ( fatal, NILF, _("unknown trace command execution type `%s'"), *p); } } }