diff contrib/reghunt/examples/reg-watch.awk @ 0:a06113de4d67

first commit
author kent <kent@cr.ie.u-ryukyu.ac.jp>
date Fri, 17 Jul 2009 14:47:48 +0900
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/contrib/reghunt/examples/reg-watch.awk	Fri Jul 17 14:47:48 2009 +0900
@@ -0,0 +1,38 @@
+/result for low patch/	{
+				sub(".*low patch ","")
+				sub(" is as expected","")
+				printf ("<-- %4s\n", $0);
+				next
+			}
+/result for high patch/	{
+				sub(".*high patch ","")
+				sub(" is as expected","")
+				printf ("    %4s -->\n", $0);
+				next
+			}
+/patches later/		{
+				sub(".*later than ","")
+				printf ("<-- %4s\n", $0);
+				next
+			}
+/patches earlier/	{
+				sub(".*earlier than ","")
+				printf ("    %4s -->\n", $0);
+				next
+			}
+/build failed for/	{
+				sub(".*build failed for ","")
+				printf ("   [%4s]\n", $0);
+				next
+			}
+/HIGH_PATCH/		{
+				printf ("* stopped early *\n")
+				next
+			}
+/changes with/		{
+				sub(".*changes with id ","")
+				printf ("+----------+\n")
+				printf ("|   %4s   |\n", $0)
+				printf ("+----------+\n")
+				next
+			}