diff options
| author | Brian Olson <icic@bolson.org> | 2021-12-06 19:47:52 +0000 |
|---|---|---|
| committer | Kieran Bingham <kieran.bingham@ideasonboard.com> | 2021-12-14 10:49:20 +0000 |
| commit | 8ff5a8d548eee7c2cb14b355867debdb29e75419 (patch) | |
| tree | dde499e79eceb7fa3bb53d9c669bc233ba24e254 /Documentation/theme/footer.html | |
| parent | 8a480237f6442a87f14aed2137b72b4d21fcae4f (diff) | |
utils: tracepoints: gen-tp-header: Add execute permission
The gen-tp-header script does not have execute permissions set on the
file.
Add the execute permission to ensure that meson runs this script
consistently in the same configuration as other scripts, without
invoking python itself separately.
Signed-off-by: Brian Olson <icic@bolson.org>
Reviewed-by: Laurent Pinchart <laurent.pinchart@ideasonboard.com>
Reviewed-by: Jacopo Mondi <jacopo@jmondi.org>
Signed-off-by: Kieran Bingham <kieran.bingham@ideasonboard.com>
Diffstat (limited to 'Documentation/theme/footer.html')
0 files changed, 0 insertions, 0 deletions