changeset 550 | 777f3813febc |
parent 549 | 8ad6734770cd |
child 553 | d83cb4945d5e |
--- a/ci/ci-pharo-benchmark.sh Mon Nov 09 00:38:23 2015 +0000 +++ b/ci/ci-pharo-benchmark.sh Mon Nov 09 00:38:23 2015 +0000 @@ -4,7 +4,7 @@ # set -e -if test -x "ci-pharo-common.sh"; then +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