From 8edebaeaaa9f7f6224ca65259019db0c3067332c Mon Sep 17 00:00:00 2001 From: Weiqun Zhang Date: Wed, 3 Jun 2020 14:54:36 -0700 Subject: [PATCH] Option to add extra CPPFLAGS from command line --- Tools/GNUMake/Make.defs | 1 + 1 file changed, 1 insertion(+) diff --git a/Tools/GNUMake/Make.defs b/Tools/GNUMake/Make.defs index 3ab7484b78b..b53fee644e5 100644 --- a/Tools/GNUMake/Make.defs +++ b/Tools/GNUMake/Make.defs @@ -452,6 +452,7 @@ CXXFLAGS += $(XTRA_CXXFLAGS) CFLAGS += $(XTRA_CFLAGS) FFLAGS += $(XTRA_FFLAGS) F90FLAGS += $(XTRA_F90FLAGS) +CPPFLAGS += $(XTRA_CPPFLAGS) ifeq ($(MAKECMDGOALS),check_fortran) ifneq ($(lowercase_comp),gnu)