From b0f273157d0a07161597f03bc2846802abef30e1 Mon Sep 17 00:00:00 2001 From: "Sergio R. Caprile" Date: Mon, 2 Jan 2023 15:16:50 -0300 Subject: [PATCH] Fix Makefile --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index d086e182..1f70e6a4 100644 --- a/Makefile +++ b/Makefile @@ -12,7 +12,7 @@ VCFLAGS = /nologo /W3 /O2 /MD /I. $(DEFS) $(TFLAGS) IPV6 ?= 1 ASAN ?= -fsanitize=address,undefined,alignment -fno-sanitize-recover=all -fno-omit-frame-pointer -fno-common ASAN_OPTIONS ?= detect_leaks=1 -EXAMPLES := $(dir $(wildcard examples/*/Makefile)) $(wildcard examples/stm32/nucleo-*) $(wildcard examples/rp2040/*) +EXAMPLES := $(dir $(wildcard examples/*/Makefile)) PREFIX ?= /usr/local VERSION ?= $(shell cut -d'"' -f2 src/version.h) COMMON_CFLAGS ?= $(C_WARN) $(WARN) $(INCS) $(DEFS) -DMG_ENABLE_IPV6=$(IPV6) $(TFLAGS)