diff options
author | Holger Levsen <holger@layer-acht.org> | 2012-11-11 23:20:42 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2012-11-11 23:20:42 +0100 |
commit | f1f7d6d5d64e6c458cacbf45711c056451c419b3 (patch) | |
tree | 84cfbd7488051d0636ef8b0bccd9d0096d604940 /bin | |
parent | 9f61d10dc52b8b2a2b9304c7a40147c8191f48dd (diff) | |
download | jenkins.debian.net-f1f7d6d5d64e6c458cacbf45711c056451c419b3.tar.xz |
split webcheck of www.debian.org into 3 jobs
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/webcheck_url.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/bin/webcheck_url.sh b/bin/webcheck_url.sh index fc7e011b..537ee90c 100755 --- a/bin/webcheck_url.sh +++ b/bin/webcheck_url.sh @@ -26,6 +26,13 @@ else fi # +# if $1 ends with / then run webcheck with -b +# +if [ "${1: -1}" = "/" ] ; then + PARAMS="$PARAMS -b" +fi + +# # $2 can only by used to ignore pattern atm # if [ "$2" != "" ] ; then |