Searched refs:TYPE_CHECKSTOP (Results 1 – 2 of 2) sorted by relevance
47 declare -rx TYPE_CHECKSTOP="checkstop"104 $TYPE_CHECKSTOP)207 [[ $dump_type = "$TYPE_CHECKSTOP" ]]; }; then
145 [[ $dump_type = "$TYPE_CHECKSTOP" ]]; }; then