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

[jenkins at imagej.net]

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

------------------------------------------
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/hudson8741678601852644822.sh
+ sh -x bin/verify-fiji.sc.sh
+ set -e
+ echo Search
Search
+ curl http://fiji.sc/verify-fiji.sc.sh
+ grep Sources for HandleExtraFileTypes
  % 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   1078      0 --:--:-- --:--:-- --:--:--  1089
100   171    0   171    0     0   1078      0 --:--:-- --:--:-- --:--:--  1089
Build step 'Execute shell' marked build as failure