Add descriptive error message

diff --git a/scripts/ml-search.py b/scripts/ml-search.py
index e163daf208f0e72cea338dedd4590e607041182a..07563b94200187c70e97b1883fdfe6d5d601f82f 100755 (executable)
--- a/scripts/ml-search.py
+++ b/scripts/ml-search.py
@@ -58,6 +58,9 @@ if __name__ == '__main__':
     args = main_parser.parse_args()
     if args.case_sensitive:
         if args.ignore_case:
+            sys.stderr.write(
+                "Cannot search case sensitive and case insensitive "
+                "at the same time\n")
             main_parser.print_help()
             sys.exit(1)
         else: