1 files changed, 15 insertions, 0 deletions
diff --git a/toolbin/dbg_format_pla b/toolbin/dbg_format_pla
new file mode 100755
index 0000000..55c7f01
--- /dev/null
+++ b/toolbin/dbg_format_pla
@@ -0,0 +1,15 @@
+#!/bin/bash
+
+I=""
+while read; do
+    if echo "$REPLY" | grep -q '^PLA'; then
+	echo "$I$REPLY"
+	I="  $I"
+    else
+	if echo "$REPLY" | grep -q '^leave'; then
+	    I=$(echo "$I" |sed 's/  //')
+	else
+	    echo "$I$REPLY"
+	fi
+    fi
+done
+\ No newline at end of file