diff --git a/driver/main.c b/driver/main.c index b1a0a0b84..6fc00db7a 100644 --- a/driver/main.c +++ b/driver/main.c @@ -1,5 +1,5 @@ /* - * Copyright (c) 2000-2011 Stephen Williams (steve@icarus.com) + * Copyright (c) 2000-2015 Stephen Williams (steve@icarus.com) * * This source code is free software; you can redistribute it * and/or modify it in source code form under the terms of the GNU @@ -541,6 +541,9 @@ static void process_warning_switch(const char*name) cp[0] = cp[1]; cp += 1; } + } else { + fprintf(stderr, "Ignoring unknown warning class " + "%s\n", name); } }