summaryrefslogtreecommitdiffhomepage
path: root/src
diff options
context:
space:
mode:
authorChristoph Mallon <christoph.mallon@gmx.de>2016-05-10 17:06:24 +0200
committerChristoph Mallon <christoph.mallon@gmx.de>2016-05-10 17:06:24 +0200
commita622bb95bffa94fdfefac74a3e18cbaee136b6cb (patch)
treed88beb2f21123a235f6aaa90fd65c912147fdd42 /src
parentd079210499c43823e8b2be8f08f25b0cadf62f27 (diff)
driver: Do not issue a warning, that the option is ignored, when repeating the compilation mode.
Diffstat (limited to 'src')
-rw-r--r--src/main.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main.c b/src/main.c
index c3e8d8d..139b1dc 100644
--- a/src/main.c
+++ b/src/main.c
@@ -84,7 +84,7 @@ static bool parse_ignore_errors(compilation_env_t *env,
static void set_mode_gcc_prec(compile_mode_t new_mode, const char *arg)
{
/* in gcc the compilation modes appear to have a precedence */
- if (new_mode < mode) {
+ if (mode >= new_mode) {
mode = new_mode;
} else {
warningf(WARN_UNUSED_OPTION, NULL,