Searched refs:OP_DUMP (Results 1 – 2 of 2) sorted by relevance
23 declare -rx OP_DUMP="opdump"94 if [ "$1" == "$OP_DUMP" ]; then129 if [ "$dump_type" = "$OP_DUMP" ]; then276 if [ "$dump_type" = "$OP_DUMP" ]; then304 if [ "$dump_type" = "$OP_DUMP" ]; then312 if [ "$dump_type" = "$OP_DUMP" ]; then510 get_dump_id "$OP_DUMP" #Dump identifier536 if [ "$dump_type" = "$OP_DUMP" ]; then
38 readonly OP_DUMP="opdump"58 declare -x dump_type="$OP_DUMP"