Searched refs:RUNFILE (Results 1 – 1 of 1) sorted by relevance
547 for RUNFILE in $RUNFILES; do548 if [ -n "$RUNFILE" ]; then549 SAVED_RUNFILE="$RUNFILE"550 RUNFILE=$(find_runfile "$RUNFILE") ||552 R="$R,$RUNFILE"555 if [ ! -r "$RUNFILE" ]; then556 fail "Cannot read runfile: $RUNFILE"