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 | 221ecca6cafefbb5106cfc8bf9f1105233a33745 (diff) | |
| download | linux-06ed5c2bfacaf67039e87a213fa5d1cdde34246a.tar.gz linux-06ed5c2bfacaf67039e87a213fa5d1cdde34246a.tar.bz2 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 |