diff options
| -rwxr-xr-x | scripts/verify-bashisms | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/verify-bashisms b/scripts/verify-bashisms index 1bda60cbd9..28795f4cc7 100755 --- a/scripts/verify-bashisms +++ b/scripts/verify-bashisms | |||
| @@ -68,7 +68,7 @@ def get_tinfoil(): | |||
| 68 | if __name__=='__main__': | 68 | if __name__=='__main__': |
| 69 | import shutil | 69 | import shutil |
| 70 | if shutil.which("checkbashisms.pl") is None: | 70 | if shutil.which("checkbashisms.pl") is None: |
| 71 | print("Cannot find checkbashisms.pl on $PATH") | 71 | print("Cannot find checkbashisms.pl on $PATH, get it from https://anonscm.debian.org/cgit/collab-maint/devscripts.git/plain/scripts/checkbashisms.pl") |
| 72 | sys.exit(1) | 72 | sys.exit(1) |
| 73 | 73 | ||
| 74 | tinfoil = get_tinfoil() | 74 | tinfoil = get_tinfoil() |