Searched refs:dump_type (Results 1 – 5 of 5) sorted by relevance
70 declare -x dump_type=$TYPE_USER90 case $dump_type in116 log_error "Skipping: Unknown dump type: $dump_type"121 plugin_path=$DREPORT_SOURCE/$PLUGIN$dump_type.d173 log_summary "Type: $dump_type"203 if ! { [[ $dump_type = "$TYPE_USER" ]] || \204 [[ $dump_type = "$TYPE_CORE" ]] || \205 [[ $dump_type = "$TYPE_ELOG" ]] || \206 [[ $dump_type = "$TYPE_RAMOOPS" ]] || \207 [[ $dump_type [all...]
157 # shellcheck disable=SC2154 # dump_type comes from elsewhere158 if [ "$dump_type" = "$OP_DUMP" ]; then173 if ! { [[ $dump_type = "$TYPE_ELOG" ]] || \174 [[ $dump_type = "$TYPE_CHECKSTOP" ]]; }; then305 if [ "$dump_type" = "$OP_DUMP" ]; then333 if [ "$dump_type" = "$OP_DUMP" ]; then341 if [ "$dump_type" = "$OP_DUMP" ]; then384 if [ $dump_type = "$TYPE_FAULTDATA" ]; then568 if [ "$dump_type" = "$OP_DUMP" ]; then
29 if [ $dump_type = "$TYPE_FAULTDATA" ]; then
20 if [ "$dump_type" = "$TYPE_FAULTDATA" ]; then
58 declare -x dump_type="$OP_DUMP"