summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJakob Kaivo <jkk@ung.org>2020-03-13 11:03:14 -0400
committerJakob Kaivo <jkk@ung.org>2020-03-13 11:03:14 -0400
commit717cea8f3ebcee3b658269a37d0eec9018474e60 (patch)
tree2d66f500f62617e41b8c0d0ecf23287cc19b561c
parent748c92100567a8617941a30343605bc663bf4810 (diff)
ignore obsolete option -cHEADmaster
-rw-r--r--lex.c4
1 files changed, 4 insertions, 0 deletions
diff --git a/lex.c b/lex.c
index 6923b20..28343a6 100644
--- a/lex.c
+++ b/lex.c
@@ -334,6 +334,10 @@ int main(int argc, char *argv[])
break;
default:
+ if (optopt == 'c') {
+ fprintf(stderr, "ignoring obsolete option -c\n");
+ break;
+ }
return 1;
}
}