diff options
author | lloyd <[email protected]> | 2015-03-10 22:41:03 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2015-03-10 22:41:03 +0000 |
commit | c82c55f2913ca725dd025b4898de6ea7d9157ab2 (patch) | |
tree | 3a66a42fd55030021cfccc1858e26852e039aa6b /configure.py | |
parent | 26a67dbac3d7413bf4c520473b6ab7c97266a133 (diff) |
Move the amalgamation generation to later in the build process so
build.h exists. Otherwise an amalg build with a clean working dir
will fail because build.h is not found. Github issue 57.
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/configure.py b/configure.py index 072dc37f5..0e2c94f82 100755 --- a/configure.py +++ b/configure.py @@ -1994,9 +1994,6 @@ def main(argv = None): build_config.public_headers.append( os.path.join(build_config.build_dir, 'build.h')) - if options.gen_amalgamation: - generate_amalgamation(build_config, options) - template_vars = create_template_vars(build_config, options, modules_to_use, cc, @@ -2006,6 +2003,9 @@ def main(argv = None): # Performs the I/O setup_build(build_config, options, template_vars) + if options.gen_amalgamation: + generate_amalgamation(build_config, options) + def release_date(datestamp): if datestamp == 0: return 'undated' |