Searched refs:run_exit (Results 1 – 1 of 1) sorted by relevance
775 run_exit="$?"777 if [ "$run_exit" = "0" ]; then792 echo "run exit status: $run_exit" 1>&2834 run_exit="$?"835 if [ "$run_exit" != "0" ]; then836 err_echo "run exit status: $run_exit"