scanner: Readd support for --strip-prefix

We still really do want people to port to --identifier-prefix
(and --symbol-prefix if necessary) because there's no ambiguity.
Before the way we were casefolding was just a terrible mess.

diff --git a/giscanner/scannermain.py b/giscanner/scannermain.py
index 609bdc1..556e3c9 100644 (file)
--- a/giscanner/scannermain.py
+++ b/giscanner/scannermain.py
@@ -246,8 +246,9 @@ def scanner_main(args):
     libraries = options.libraries
 
     if options.strip_prefix:
-        _error("""Option --strip-prefix has been replaced;
-see --identifier-prefix and --symbol-prefix.""")
+        print """g-ir-scanner: warning: Option --strip-prefix has been deprecated;
+see --identifier-prefix and --symbol-prefix."""
+        options.identifier_prefixes.append(options.strip_prefix)
 
     filenames = []
     for arg in args: