Searched refs:run_exit (Results 1 – 1 of 1) sorted by relevance
417 run_exit="$?"418 echo "run exit status: $run_exit" 1>&2419 if [ "$run_exit" = "0" ]; then