changeset 553 | d83cb4945d5e |
parent 550 | 777f3813febc |
--- a/ci/ci-pharo-benchmark.sh Mon Nov 23 14:00:53 2015 +0100 +++ b/ci/ci-pharo-benchmark.sh Tue Nov 24 19:37:14 2015 +0100 @@ -4,7 +4,7 @@ # set -e -if [ ! -x "ci-pharo-common.sh" ]; then +if [ ! -f "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