Searched refs:RUNFILE (Results 1 – 1 of 1) sorted by relevance
481 for RUNFILE in $RUNFILES; do482 if [ -n "$RUNFILE" ]; then483 SAVED_RUNFILE="$RUNFILE"484 RUNFILE=$(find_runfile "$RUNFILE")485 [ -z "$RUNFILE" ] && fail "Cannot find runfile: $SAVED_RUNFILE"486 R="$R,$RUNFILE"489 if [ ! -r "$RUNFILE" ]; then490 fail "Cannot read runfile: $RUNFILE"