From 199032fad944be810539b453abf15bb55fcdb30e Mon Sep 17 00:00:00 2001 From: Krishnan Winter Date: Wed, 17 Apr 2024 11:18:28 +1000 Subject: [PATCH] Update config name for profiler example --- example/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/example/Makefile b/example/Makefile index b47763d..2bcd12b 100644 --- a/example/Makefile +++ b/example/Makefile @@ -6,7 +6,7 @@ BUILD_DIR ?= build -MICROKIT_CONFIG ?= profile +MICROKIT_CONFIG ?= profiler ifeq ($(strip $(MICROKIT_SDK)),) $(error MICROKIT_SDK must be specified)