From 0f6dc503bf3814e5547ffb4e9d6ea0a75ffd1ec0 Mon Sep 17 00:00:00 2001
From: David Allsopp <david.allsopp@metastack.com>
Date: Wed, 22 Feb 2023 10:47:00 +0000
Subject: [PATCH 11/17] Finish off removal of FORCE_INSTRUMENTED_RUNTIME
---
utils/Makefile | 1 -
1 file changed, 1 deletion(-)
diff --git a/utils/Makefile b/utils/Makefile
index 0fcbc59ce5..efd8574fa5 100644
--- a/utils/Makefile
+++ b/utils/Makefile
@@ -90,7 +90,6 @@ config_main.ml: config.mlp $(ROOTDIR)/Makefile.config Makefile config.common.ml
$(call SUBST,FUNCTION_SECTIONS) \
$(call SUBST,CC_HAS_DEBUG_PREFIX_MAP) \
$(call SUBST,AS_HAS_DEBUG_PREFIX_MAP) \
- $(call SUBST,FORCE_INSTRUMENTED_RUNTIME) \
$< > $@
cat config.common.ml >> $@
--
2.41.0