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_install.sh | |
| parent | 221ecca6cafefbb5106cfc8bf9f1105233a33745 (diff) | |
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_install.sh')
| -rwxr-xr-x[-rw-r--r--] | scripts/headers_install.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/scripts/headers_install.sh b/scripts/headers_install.sh index 5de5660cb708..5de5660cb708 100644..100755 --- a/scripts/headers_install.sh +++ b/scripts/headers_install.sh |