diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/coccicheck | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/coccicheck b/scripts/coccicheck index d3757adb1260..bbf901afb606 100755 --- a/scripts/coccicheck +++ b/scripts/coccicheck | |||
| @@ -1,5 +1,10 @@ | |||
| 1 | #!/bin/bash | 1 | #!/bin/bash |
| 2 | 2 | ||
| 3 | # | ||
| 4 | # This script requires at least spatch | ||
| 5 | # version 1.0.0-rc11. | ||
| 6 | # | ||
| 7 | |||
| 3 | SPATCH="`which ${SPATCH:=spatch}`" | 8 | SPATCH="`which ${SPATCH:=spatch}`" |
| 4 | 9 | ||
| 5 | trap kill_running SIGTERM SIGINT | 10 | trap kill_running SIGTERM SIGINT |