diff options
-rwxr-xr-x | buildbot/linkchecker.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/buildbot/linkchecker.sh b/buildbot/linkchecker.sh index bb9c04b..24c90a0 100755 --- a/buildbot/linkchecker.sh +++ b/buildbot/linkchecker.sh @@ -34,7 +34,7 @@ for url in "https://www.taler.net/" "https://docs.taler.net/" "https://taler-sys done # Search the log for the phrase "broken link" as this is what wget will report -if grep -iRl 'Error' $logfile +if grep -Rl 'Error' $logfile then echo "Found broken links. Build should fail (exit 1), triggering e-mail notification." exit 1 |