diff options
author | Simon Warta <[email protected]> | 2016-11-29 18:42:38 +0100 |
---|---|---|
committer | Simon Warta <[email protected]> | 2016-12-02 09:53:21 +0100 |
commit | 3a7285698d2c28638221d679d16687b25dd84091 (patch) | |
tree | 6bd03c6ccc024fcf33bbb1b03853c7eec1727cc9 | |
parent | e2b3b0ca9ab4ed05819ddad138d0b9464a1bbc52 (diff) |
Convert warning to error for --via-amalgamation
-rwxr-xr-x | configure.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/configure.py b/configure.py index 463b22fb6..5a63d887a 100755 --- a/configure.py +++ b/configure.py @@ -2201,8 +2201,7 @@ def main(argv = None): raise Exception("--gen-amalgamation was removed. Migrate to --amalgamation.") if options.via_amalgamation: - logging.warn("--via-amalgamation is deprecated. Use --amalgamation.") - options.amalgamation = True + raise Exception("--via-amalgamation was removed. Use --amalgamation instead.") if options.build_shared_lib and not osinfo.building_shared_supported: raise Exception('Botan does not support building as shared library on the target os. ' |