diff options
author | Marcos CARDINOT <mcardinot@gmail.com> | 2014-03-13 14:13:40 +0000 |
---|---|---|
committer | Marcos CARDINOT <mcardinot@gmail.com> | 2014-03-13 14:13:40 +0000 |
commit | 67a31a7237331cf957e70787ba2182cc2b04e107 (patch) | |
tree | f8cd5d3d5dd47d321886812525b372555b81f546 /build/util.py | |
parent | d510e235ad68214f4300b18daa67d83e18a302ae (diff) |
Change permissions of build.h file
Diffstat (limited to 'build/util.py')
-rw-r--r-- | build/util.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build/util.py b/build/util.py index 9101a66746..eba8f81b9b 100644 --- a/build/util.py +++ b/build/util.py @@ -189,3 +189,4 @@ def write_build_header(path): '+' if modified else '')) finally: f.close() + os.chmod(path, 0666) |