diff options
| author | Baruch Burstein <[email protected]> | 2016-11-28 11:53:21 +0200 |
|---|---|---|
| committer | Baruch Burstein <[email protected]> | 2016-11-28 11:53:21 +0200 |
| commit | 2e7e0336a9fd90b6fcb21416c9d9e2a3fb17dfc4 (patch) | |
| tree | bf46dc7ff5804b1045afa7798f60a9a8daba268f /configure.py | |
| parent | c8f16b889f8899dc06452508662c45f99d43fee7 (diff) | |
Fix reference to deprecated option
Diffstat (limited to 'configure.py')
| -rwxr-xr-x | configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.py b/configure.py index c7ee08072..52f4326c9 100755 --- a/configure.py +++ b/configure.py @@ -129,7 +129,7 @@ class BuildConfigurationInformation(object): self.internal_headers = sorted(flatten([m.internal_headers() for m in modules])) self.external_headers = sorted(flatten([m.external_headers() for m in modules])) - if options.via_amalgamation: + if options.amalgamation: self.build_sources = ['botan_all.cpp'] else: self.build_sources = self.sources |