Searched refs:rdfile (Results 1 – 1 of 1) sorted by relevance
245 rdfile="$rdfile32"249 rdfile="$rdfile64"253 rdfile="$rdfile32"287 gzip -c "$rdfile" > "${archive}-new"289 cat "$rdfile" > "${archive}-new"