|
@@ -54,7 +54,7 @@ main() {
|
|
|
# Extract the URLs of the toolchains; drop internal toolchains
|
|
|
# E.g.: http://server/path/to/name.config,arch,libc
|
|
|
# --> http://server/path/to/name.config
|
|
|
- toolchains=($(sed -r -e 's/,.*//; /internal/d;' "${toolchains_csv}" \
|
|
|
+ toolchains=($(sed -r -e 's/,.*//; /internal/d; /^#/d; /^$/d;' "${toolchains_csv}" \
|
|
|
|if [ ${random} -gt 0 ]; then \
|
|
|
sort -R |head -n ${random}
|
|
|
else
|