[ImageJ-builds] Build failed in Jenkins: Monitor-fiji.sc #8417

[jenkins at imagej.net]

See <http://jenkins.imagej.net/job/Monitor-fiji.sc/8417/>

------------------------------------------
Started by timer
Building on master in workspace <http://jenkins.imagej.net/job/Monitor-fiji.sc/ws/>
Copied 1 artifact from "Fiji-minimal" build number 1853
[workspace] $ /bin/sh -xe /tmp/hudson2320066271411075126.sh
+ sh -x bin/verify-fiji.sc.sh
+ set -e
+ echo Search
Search
+ curl+ grep Sources for HandleExtraFileTypes
 http://fiji.sc/verify-fiji.sc.sh
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed

  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
100   171    0   171    0     0   1139      0 --:--:-- --:--:-- --:--:--  1155
100   171    0   171    0     0   1138      0 --:--:-- --:--:-- --:--:--  1147
Build step 'Execute shell' marked build as failure