diff options
author | Michal Marek <mmarek@suse.cz> | 2014-08-20 16:02:59 +0200 |
---|---|---|
committer | Michal Marek <mmarek@suse.cz> | 2014-08-20 16:03:45 +0200 |
commit | 06ed5c2bfacaf67039e87a213fa5d1cdde34246a (patch) | |
tree | ea3c6fbc224368b5e993c436e3a3757bf88d8e0e /scripts/headers_check.pl | |
parent | kbuild: remove redundant clean-files from scripts/kconfig/Makefile (diff) | |
download | linux-06ed5c2bfacaf67039e87a213fa5d1cdde34246a.tar.xz linux-06ed5c2bfacaf67039e87a213fa5d1cdde34246a.zip |
kbuild: Make scripts executable
The Makefiles call the respective interpreter explicitly, but this makes
it easier to use the scripts manually.
Signed-off-by: Michal Marek <mmarek@suse.cz>
Diffstat (limited to 'scripts/headers_check.pl')
-rwxr-xr-x[-rw-r--r--] | scripts/headers_check.pl | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/scripts/headers_check.pl b/scripts/headers_check.pl index 62320f93e903..62320f93e903 100644..100755 --- a/scripts/headers_check.pl +++ b/scripts/headers_check.pl |