diff options
| author | Colin Walters <walters@verbum.org> | 2010-09-10 15:01:54 -0400 |
|---|---|---|
| committer | Colin Walters <walters@verbum.org> | 2010-09-10 15:07:59 -0400 |
| commit | 920512de3fb9bfefffadb454308d66eca9c9ebd4 (patch) | |
| tree | 0defd3546303724badbfadc70c27562dbc41e896 | |
| parent | 8ace70db2bdcf403bacf05e20d126cb4956c4640 (diff) | |
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.
| -rw-r--r-- | giscanner/scannermain.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/giscanner/scannermain.py b/giscanner/scannermain.py index 609bdc1..556e3c9 100644 --- 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: |