1 files changed, 19 insertions, 0 deletions
diff --git a/systemtest/testOutputGen.awk b/systemtest/testOutputGen.awk
new file mode 100644
index 0000000..f29b104
--- /dev/null
+++ b/systemtest/testOutputGen.awk
@@ -0,0 +1,19 @@
+BEGIN                           { testSection = 0; }
+# ignore empty lines
+/^$/                            { next; }
+
+# ignore oid lines
+/^ *Oid\.*:*/                   { next; }
+
+# turn on flag 
+/^-- Testbed start block.*/     { testSection = 1; }
+
+# turn off flag 
+/^-- Testbed end block.*/       { testSection = 0; }
+
+# print lines in test section
+testSection==1                  { print $0; next; }
+
+# print lines starting with -- Testbed
+/^-- Testbed .*/                 { print $0; }
+