diff options
author | Jack Lloyd <[email protected]> | 2016-10-31 01:14:03 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2016-10-31 01:14:03 -0400 |
commit | cb171bf6f6d22b830313f30e09ddac74ac458eea (patch) | |
tree | 8c6fd906f7f27ecbf4efebc423b1de2eeab90427 /configure.py | |
parent | 909490d3a2a8d96732c6428f0cf6e80b10afd560 (diff) |
Fix for amalgamation build
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/configure.py b/configure.py index 99bc8f5e1..26589b281 100755 --- a/configure.py +++ b/configure.py @@ -1178,6 +1178,8 @@ def gen_makefile_lists(var, build_config, options, modules, cc, arch, osinfo): parts = parts[parts.index('tests')+2:] elif 'cli' in parts: parts = parts[parts.index('cli'):] + elif file.find('botan_all') != -1: + parts = [] else: raise Exception("Unexpected file '%s/%s'" % (dir, file)) |