[ImageJ-devel] Build failed in Jenkins: ImageJ1-plugins-branch #210

[jenkins at loci.wisc.edu]

See <http://jenkins.imagej.net/job/ImageJ1-plugins-branch/210/>

------------------------------------------
Started by timer
[workspace] $ /bin/sh -xe /tmp/hudson1043389682151389626.sh
+ URL=git at code.imagej.net:imageja.git
+ test -d tools
+ cd tools
+ git pull -k git at code.imagej.net:imageja.git tools
>From code.imagej.net:imageja
 * branch            tools      -> FETCH_HEAD
Already up-to-date.
+ sh ./download-ijplugins.sh