diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2017-05-07 11:35:32 -0400 |
---|---|---|
committer | Sven Eden <yamakuzure@gmx.net> | 2017-07-25 09:46:52 +0200 |
commit | 1358b021c3ffe26f373193638e004830bc3fd0c4 (patch) | |
tree | f0d21db70b0ef219e080c9ce9a42526786936d1a /tools | |
parent | 9858f7c39367e32696b1aa1b25d67eee4b10d45d (diff) |
Mark python scripts executable
Since all our python scripts have a proper python3 shebang, there is no benefit
to letting meson autodetect them. On linux, meson will just uses exec(), so the
shebang is used anyway. The only difference should be in how meson reports the
script and that the detection won't fail for (most likely misconfigured)
non-UTF8 locales.
Closes #5855.
Diffstat (limited to 'tools')
-rwxr-xr-x[-rw-r--r--] | tools/make-man-rules.py | 0 | ||||
-rwxr-xr-x[-rw-r--r--] | tools/xml_helper.py | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/tools/make-man-rules.py b/tools/make-man-rules.py index 5e61917d6..5e61917d6 100644..100755 --- a/tools/make-man-rules.py +++ b/tools/make-man-rules.py diff --git a/tools/xml_helper.py b/tools/xml_helper.py index e87126f2f..e87126f2f 100644..100755 --- a/tools/xml_helper.py +++ b/tools/xml_helper.py |