[Seaside-dev] Build failed in Jenkins: Seaside » 40,bleedingEdge #624

[ci-pharo-contribution at inria.fr]

See <https://ci.inria.fr/pharo-contribution/job/Seaside/PHARO=40,VERSION=bleedingEdge/624/>

------------------------------------------
Started by upstream project "Seaside" build number 624
originally caused by:
 Started by user johan at yesplan.be
Building remotely on pharo-contribution-linux64-4.ci.inria.fr (32 64 linux) in workspace <https://ci.inria.fr/pharo-contribution/job/Seaside/PHARO=40,VERSION=bleedingEdge/ws/>

Deleting project workspace... done

[bleedingEdge] $ /bin/sh -xe /tmp/hudson4288091208478648569.sh
+ dirname Seaside/PHARO=40,VERSION=bleedingEdge
+ export JOB_NAME=Seaside
+ + bash
wget --quiet -O - get.pharo.org/40+
+ ./pharo Pharo.image save Seaside --delete-old
/tmp/hudson4288091208478648569.sh: 7: /tmp/hudson4288091208478648569.sh: ./pharo: not found
Build step 'Execute shell' marked build as failure
Archiving artifacts
Recording test results