Make non-GNU awk happy

diff --git a/src/dmpstruct.awk b/src/dmpstruct.awk
index 608c26fcc5c15071779fcc332a9d57660af5e9fa..0a22030405d4bd0d892f72f6b02af22a10b9f7c2 100755 (executable)
--- a/src/dmpstruct.awk
+++ b/src/dmpstruct.awk
@@ -10,10 +10,10 @@ BEGIN {
   struct_name = $2
   close (tmpfile)
 }
-/^(enum|struct|union) [a-zA-Z0-9_]+([\t ]|\/\*.*\*\/)*$/, /^(|  )};$/ {
+/^(enum|struct|union) [a-zA-Z0-9_]+([\t ]|\/\*.*\*\/)*$/, /^(  )?};$/ {
   print $0 > tmpfile
 }
-/^(|  )};$/ {
+/^(  )?};$/ {
   if (struct_name != "") {
     fflush (tmpfile)
     cmd = "../lib-src/make-fingerprint -r " tmpfile