From cbe9d25f11b3aa693e0c90266dff52410278ce02 Mon Sep 17 00:00:00 2001 From: AnnaSnoeijs Date: Thu, 14 Aug 2025 22:02:04 +0200 Subject: [PATCH] Added option to set extra flags --- makefile | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/makefile b/makefile index e0366af..dd57147 100644 --- a/makefile +++ b/makefile @@ -28,6 +28,11 @@ FLAGS += -flto #FLAGS += -Wno-sign-conversion #FLAGS += -Wformat-truncation=0 +ifneq (, $(EXTRA_FLAGS)) + FLAGS += $(EXTRA_FLAGS) +endif + + # Compile flag for defining GITHASH to put at the end of the version string GITFLAG = -D'GITHASH=$(shell git rev-parse --short=1 HEAD)'