Searched refs:RUNRESULT (Results 1 – 1 of 1) sorted by relevance
784 read -r RUNRESULT <"$REPORT_FILE"811 read -r RUNRESULT <"$REPORT_FILE"833 [ "$RUNRESULT" -gt 3 ] && exit "$RUNRESULT" || exit "$RESULT"