diff options
| author | Emilio Cobos Álvarez <emilio@crisal.io> | 2016-12-25 01:40:29 +0100 |
|---|---|---|
| committer | Emilio Cobos Álvarez <emilio@crisal.io> | 2016-12-25 01:41:07 +0100 |
| commit | 193421969d97a6e28e84776d24000c55ff0d0140 (patch) | |
| tree | 6c0d4362dec64349b54ad684b3726cd271ac3823 /python | |
| parent | f08e851f81c63fd7aecacb54831f965dee45cf31 (diff) | |
| download | servo-193421969d97a6e28e84776d24000c55ff0d0140.tar.gz servo-193421969d97a6e28e84776d24000c55ff0d0140.zip | |
stylo: Copy binding files even if the build failed.
It's easier to stash the changes away than to find the generated files.
Diffstat (limited to 'python')
| -rw-r--r-- | python/servo/build_commands.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py index 54d8b158deb..bd09221d56f 100644 --- a/python/servo/build_commands.py +++ b/python/servo/build_commands.py @@ -434,7 +434,7 @@ class MachCommands(CommandBase): print("GeckoLib build completed in %s" % format_duration(elapsed)) - if with_gecko is not None and ret == 0: + if with_gecko is not None: print("Copying binding files to style/gecko_bindings...") build_path = path.join(geckolib_build_path, "release" if release else "debug", "") target_style_path = find_dep_path_newest("style", build_path) |