Searched refs:rdfile (Results 1 – 1 of 1) sorted by relevance
219 rdfile="$rdfile32"223 rdfile="$rdfile64"227 rdfile="$rdfile32"261 gzip -c "$rdfile" > "${archive}-new"263 cat "$rdfile" > "${archive}-new"