diff options
Diffstat (limited to 'scripts/verify-bashisms')
-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 1bda60cbd98..28795f4cc70 100755 --- a/scripts/verify-bashisms +++ b/scripts/verify-bashisms @@ -68,7 +68,7 @@ def get_tinfoil(): if __name__=='__main__': import shutil if shutil.which("checkbashisms.pl") is None: - print("Cannot find checkbashisms.pl on $PATH") + print("Cannot find checkbashisms.pl on $PATH, get it from https://anonscm.debian.org/cgit/collab-maint/devscripts.git/plain/scripts/checkbashisms.pl") sys.exit(1) tinfoil = get_tinfoil() |