Searched refs:SAVED_RUNFILE (Results 1 – 1 of 1) sorted by relevance
483 SAVED_RUNFILE="$RUNFILE"485 [ -z "$RUNFILE" ] && fail "Cannot find runfile: $SAVED_RUNFILE"