25 lines
749 B
Diff
25 lines
749 B
Diff
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
|
|
|