diff -r 8ad6734770cd -r 777f3813febc ci/ci-pharo-test.sh --- a/ci/ci-pharo-test.sh Mon Nov 09 00:38:23 2015 +0000 +++ b/ci/ci-pharo-test.sh Mon Nov 09 00:38:23 2015 +0000 @@ -4,8 +4,8 @@ # set -e -if test -x "ci-pharo-common.sh"; then - echo wget -O "ci-pharo-common.sh" fail-here +if [ ! -x "ci-pharo-common.sh" ]; then + wget -O "ci-pharo-common.sh" https://bitbucket.org/janvrany/stx-goodies-petitparser/raw/tip/ci/ci-pharo-common.sh fi . ci-pharo-common.sh