X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=blobdiff_plain;f=selector.cc;h=bd50899562d76de21636d462d1ca6dfe7e8dc9ed;hb=c132a9e079b9acabfdc5737ff54ba2be6931a769;hp=8c17dc1410627390cbc616ecd25183946fac7e5a;hpb=c95741cdde744c87f121d4ee128d0e42ab37bee2;p=selector.git

diff --git a/selector.cc b/selector.cc
index 8c17dc1..bd50899 100644
--- a/selector.cc
+++ b/selector.cc
@@ -714,6 +714,8 @@ int main(int argc, char **argv) {
     }
 
     else if(strcmp(argv[i], "-a") == 0) {
+      case_sensitive = 1;
+      i++;
     }
 
     else if(strcmp(argv[i], "-t") == 0) {