idf.py: Use mingw32-make for version check

Closes https://github.com/espressif/esp-idf/issues/3333

diff --git a/tools/idf.py b/tools/idf.py
index 4b885310e33460039f8ab850e3213a84860cf1dc..9435200af437349c13a5b2293e8ac47486ff47cf 100755 (executable)
--- a/tools/idf.py
+++ b/tools/idf.py
@@ -66,7 +66,7 @@ GENERATORS = \
     [
         # ('generator name', 'build command line', 'version command line', 'verbose flag')
         ("Ninja", ["ninja"], ["ninja", "--version"], "-v"),
-        (MAKE_GENERATOR, [MAKE_CMD, "-j", str(multiprocessing.cpu_count() + 2)], ["make", "--version"], "VERBOSE=1"),
+        (MAKE_GENERATOR, [MAKE_CMD, "-j", str(multiprocessing.cpu_count() + 2)], [MAKE_CMD, "--version"], "VERBOSE=1"),
     ]
 GENERATOR_CMDS = dict((a[0], a[1]) for a in GENERATORS)
 GENERATOR_VERBOSE = dict((a[0], a[3]) for a in GENERATORS)