pushd `dirname $0` &>/dev/null MY_DIR=$(pwd) popd &>/dev/null retry="$MY_DIR/../../../../mach python -m redo.cmd -s 1 -a 3" download_builds() { # cleanup mkdir -p downloads/ rm -rf downloads/* source_url="$1" target_url="$2" if [ -z "$source_url" ] || [ -z "$target_url" ] then "download_builds usage: " exit 1 fi for url in "$source_url" "$target_url" do source_file=`basename "$url"` if [ -f "$source_file" ]; then rm "$source_file"; fi cd downloads if [ -f "$source_file" ]; then rm "$source_file"; fi cached_download "${source_file}" "${url}" status=$? if [ $status != 0 ]; then echo "TEST-UNEXPECTED-FAIL: Could not download source $source_file from $url" echo "skipping.." cd ../ return $status fi cd ../ done }