Searched refs:TYPE_FAULTDATA (Results 1 – 2 of 2) sorted by relevance
3 declare -rx TYPE_FAULTDATA="faultdata"22 if [ $dump_type = "$TYPE_FAULTDATA" ]; then
355 if [ $dump_type = "$TYPE_FAULTDATA" ]; then