From d08957d4963a844287db9fe9911e9de53ff8d09e Mon Sep 17 00:00:00 2001
From: Dirk Zimoch <dirk.zimoch@psi.ch>
Date: Mon, 13 Sep 2021 09:39:34 +0200
Subject: [PATCH] keep USR_CPPFLAGS free for users

---
 App/tools/driver.makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/App/tools/driver.makefile b/App/tools/driver.makefile
index 758204f..a18d8a8 100644
--- a/App/tools/driver.makefile
+++ b/App/tools/driver.makefile
@@ -692,7 +692,7 @@ ifdef BASE_3_16
 # but not on record types where it would cause an error
 ifndef USING_NEW_RSET
 SUPPRESS_RSET_WARNING = -DUSE_TYPED_RSET=
-USR_CPPFLAGS += ${SUPPRESS_RSET_WARNING}
+CPPFLAGS += ${SUPPRESS_RSET_WARNING}
 REC_SUPPRESS_RSET_WARNING=-Wno-deprecated-declarations
 ifeq ($(OS_CLASS),WIN32)
 REC_SUPPRESS_RSET_WARNING=