diff --git a/plugins/Makefile b/plugins/Makefile index a8e0b9a3..739ff156 100644 --- a/plugins/Makefile +++ b/plugins/Makefile @@ -714,7 +714,7 @@ PLUGIN_FILES += $(filter-out eightfold/src/plugin.cpp,$(wildcard eightfold/src/* # modules/types which are present in other plugins EIGHTFOLD_CUSTOM = Comparator comparator -# custom C++17 flags + EIGHTFOLD_FLAGS = $(filter-out -std=gnu++11,$(BUILD_CXX_FLAGS)) EIGHTFOLD_FLAGS += -std=gnu++17