bug on mawk -> modification of record separator RS

diff --git a/scripts/parse3.awk b/scripts/parse3.awk
index c1f04581ad0829d224bea9b55de961f21a5669a2..015858d59765628b85b7eba4707adb94f048e254 100644 (file)
--- a/scripts/parse3.awk
+++ b/scripts/parse3.awk
@@ -212,7 +212,7 @@ BEGIN {
 #
 #
 # record sep is ");\n" whith blanks all around, and optional "(" at the beginning
-  RS="[(]?[ \t]*)[ \t]*;[ \t]*\n"  
+  RS="[(]?[ \t]*\)[ \t]*;[ \t]*\n"  
   FS="[ \t]*[(,][ \t]*"  # field sep is either "(" or "," surrounded by blanks 
 }