Lines Matching refs:distfile
5 # distfile. The script takes care of unpacking the distfile, removing any
47 local distfile="${1}"; shift
50 log "Extracting ${distfile}"
51 tar -xzf "${distfile}"
52 [ -d "${distname}" ] || err "Distfile did not create ${distname}"
58 local distfile="${1}"; shift
59 basename "${distfile}" | sed -e 's,\.tar.*,,'
98 [ ${#} -eq 1 ] || err "Must provide a distfile name"
99 local distfile="${1}"; shift
104 local distname="$(get_distname ${distfile})"
107 extract_distfile "${distfile}" "${distname}"
Indexes created Sun Mar 01 05:31:48 UTC 2026