Searched refs:checker_exit (Results 1 – 1 of 1) sorted by relevance
976 checker_exit="$?"977 if [ "$checker_exit" = "0" ]; then980 err_echo "checker exit status: $checker_exit"1036 checker_exit="$?"1037 if [ "$checker_exit" != "0" ]; then1038 err_echo "checker exit status: $checker_exit"