diff options
author | Robin Gareus <robin@gareus.org> | 2014-12-28 10:20:25 +0100 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2014-12-28 10:20:25 +0100 |
commit | 28fb110dd35a357c984b9b060df39911c8570000 (patch) | |
tree | 128ae23a280acf81c69fc4ad1b4ef3029710f924 /headless | |
parent | ffa6954875ac8eca79ee5ab0905e220573848d7d (diff) |
fix [rare] concurrent build issue:
[709/779] subst: headless/hardev_common.sh.in -> build/headless/hardev_common_waf.sh
[710/779] hardev_common_waf.sh: -> build/headless/hardev_common_waf.sh
chmod: cannot access `headless/hardev_common_waf.sh': No such file or directory
Diffstat (limited to 'headless')
-rw-r--r-- | headless/wscript | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/headless/wscript b/headless/wscript index 3589ffcf7f..85e27879be 100644 --- a/headless/wscript +++ b/headless/wscript @@ -91,7 +91,7 @@ def build(bld): for i in dict: setattr(obj, i, dict[i]) - obj = bld(features = 'subst', rule= 'chmod 0755 ${TGT}') + obj = bld(features = 'subst') obj.source = 'hardev_common.sh.in' obj.target = 'hardev_common_waf.sh' obj.chmod = Utils.O755 |