CLI should not ignore --eci flag

Bug found thanks to Marjan Leden
2024-11-16 20:57:25 +13:00 · 2017-04-10 22:14:35 +01:00 · 2017-04-10 22:14:35 +01:00 · b199bc8ee6
commit b199bc8ee6
parent 7b4dac7e16
1 changed files with 1 additions and 1 deletions
--- a/frontend/main.c
+++ b/frontend/main.c
@ -491,7 +491,7 @@ int main(int argc, char **argv) {
            {"mirror", 0, 0, 0},
            {"dotty", 0, 0, 0},
            {"dotsize", 1, 0, 0},
-            {"eci", 1, 0, 'e'},
+            {"eci", 1, 0, 0},
            {"filetype", 1, 0, 0},
            {0, 0, 0, 0}
        };