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 85eebb3f5..919a047eb 100644 --- a/ports/esp32/Makefile +++ b/ports/esp32/Makefile @@ -65,8 +65,8 @@ 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) $(error ESPIDF not set) -print_supported_git_hash endif endif @@ -97,7 +97,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)) -print_supported_git_hash +$(call print_supported_git_hash) endif # pretty format of ESP IDF version, used internally by the IDF |