Home
last modified time | relevance | path

Searched refs:stamp (Results 1 – 1 of 1) sorted by relevance

/scripts/
A Ddownload-prebuilt71 local -r stamp="${DOWNLOAD_DIR}/${download_file%.*}.stamp"
72 mkdir -p "$(dirname "$stamp")" && echo "$version" > "$stamp"
82 local -r stamp="${DOWNLOAD_DIR}/${download_file%.*}.stamp"
84 if [[ -r "$stamp" ]]; then
85 stamp_version="$(< "$stamp")"
101 local -r stamp="${DOWNLOAD_DIR}/${download_file%.*}.stamp"
103 if [[ -r "$stamp" ]]; then
104 stamp_version="$(< "$stamp")"

Completed in 4 milliseconds