Searched refs:source_tgz (Results 1 – 1 of 1) sorted by relevance
28 source_tgz="$1"49 if [[ ! -f "$source_tgz" ]] ; then61 echo_and_exec tar xvf "$source_tgz" -C "$source_ext_dir" --strip-components=1