diff options
| -rw-r--r-- | ports/esp32/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ports/esp32/Makefile b/ports/esp32/Makefile index ecaa3e62a..a9002b651 100644 --- a/ports/esp32/Makefile +++ b/ports/esp32/Makefile @@ -67,7 +67,7 @@ ESPIDF = $(IDF_PATH) else $(info The ESPIDF variable has not been set, please set it to the root of the esp-idf repository.) $(info See README.md for installation instructions.) -$(call print_supported_git_hash) +dummy := $(call print_supported_git_hash) $(error ESPIDF not set) endif endif @@ -99,7 +99,7 @@ $(info The git hash of ESP IDF does not match the supported version) $(info The build may complete and the firmware may work but it is not guaranteed) $(info ESP IDF path: $(ESPIDF)) $(info Current git hash: $(ESPIDF_CURHASH)) -$(call print_supported_git_hash) +dummy := $(call print_supported_git_hash) endif # pretty format of ESP IDF version, used internally by the IDF |