From d777d1eb39fefe2ae7e3059782b5c254100be64c Mon Sep 17 00:00:00 2001
From: Daniele Nicolodi <daniele@grinta.net>
Date: Mon, 19 Feb 2018 16:27:36 -0800
Subject: [PATCH] Make non-GNU awk happy

---
 src/dmpstruct.awk | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/dmpstruct.awk b/src/dmpstruct.awk
index 608c26fcc5c..0a22030405d 100755
--- 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
-- 
2.39.5