ci/ci-pharo-test.sh
changeset 553 d83cb4945d5e
parent 550 777f3813febc
--- a/ci/ci-pharo-test.sh	Mon Nov 23 14:00:53 2015 +0100
+++ b/ci/ci-pharo-test.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