From a684f7fc6c8b5da947bf7f33c0908450fbd3f10d Mon Sep 17 00:00:00 2001
From: Dirk Zimoch <dirk.zimoch@psi.ch>
Date: Fri, 16 Aug 2019 10:19:03 +0200
Subject: [PATCH] suppress annoying "rset deprecated" warnings when compiling
 record types

---
 App/tools/driver.makefile | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/App/tools/driver.makefile b/App/tools/driver.makefile
index c6256e8..b93cd4e 100644
--- a/App/tools/driver.makefile
+++ b/App/tools/driver.makefile
@@ -665,10 +665,7 @@ ifdef BASE_3_16
 ifndef USING_NEW_RSET
 SUPPRESS_RSET_WARNING = -DUSE_TYPED_RSET
 USR_CPPFLAGS += ${SUPPRESS_RSET_WARNING}
-%Record.o: SUPPRESS_RSET_WARNING=
-%Record.i: SUPPRESS_RSET_WARNING=
-%Record.ii: SUPPRESS_RSET_WARNING=
-%Record$(DEP): SUPPRESS_RSET_WARNING=
+%Record.o %Record.i %Record.ii %Record$(DEP): SUPPRESS_RSET_WARNING=-Wno-deprecated-declarations
 endif
 endif