aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--arduino-mk/Arduino.mk6
1 files changed, 0 insertions, 6 deletions
diff --git a/arduino-mk/Arduino.mk b/arduino-mk/Arduino.mk
index 70b256c..46cfa24 100644
--- a/arduino-mk/Arduino.mk
+++ b/arduino-mk/Arduino.mk
@@ -211,12 +211,6 @@ endif
# Makefile distribution path
#
-# Call with the name of the variable, a prefix tag if desired (like
-# [AUTODETECTED]), and an explanation if desired (like (found in $$PATH). This
-# function definition is duplicated from Common.mk so that it is available
-# before we import that Makefile.
-show_config_variable = $(call show_config_info,$(1) = $($(1)) $(3),$(2))
-
ifndef ARDMK_DIR
# presume it's a level above the path to our own file
ARDMK_DIR := $(realpath $(dir $(realpath $(lastword $(MAKEFILE_LIST))))/..)