updated utils.sh

pull/2/head
Hari Sekhon 8 years ago
parent a047275016
commit dd4a4b8ddb

@ -97,7 +97,7 @@ ci_sample(){
local highest_index="${#a[@]}" local highest_index="${#a[@]}"
local random_index="$(($RANDOM % $highest_index))" local random_index="$(($RANDOM % $highest_index))"
# Travis CI builds are too slow, halve the version tests # Travis CI builds are too slow, halve the version tests
if [ $(($RANDOM % 2 )) = 0 ]; then if [ $(($RANDOM % 3 )) = 0 ]; then
echo "${a[$random_index]}" echo "${a[$random_index]}"
fi fi
return 1 return 1

Loading…
Cancel
Save