Searched refs:checker_exit (Results 1 – 1 of 1) sorted by relevance
762 checker_exit="$?"763 if [ "$checker_exit" = "0" ]; then766 err_echo "checker exit status: $checker_exit"828 checker_exit="$?"829 if [ "$checker_exit" != "0" ]; then830 err_echo "checker exit status: $checker_exit"