From 6264404cc1ecf0b890f7da4c73b5e02285415c2f Mon Sep 17 00:00:00 2001
From: Joerg Wunsch <j@uriah.heep.sax.de>
Date: Fri, 10 Dec 2021 22:34:57 +0000
Subject: [PATCH] Allow for overriding make tool from environment

gmake (GNU make) appears to handle some dependencies better here than
bmake (BSD make).



git-svn-id: svn://svn.savannah.nongnu.org/avrdude/trunk/avrdude@1515 81a1dc3b-b13d-400b-aceb-764788c761c2
---
 tools/build-mingw32.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/build-mingw32.sh b/tools/build-mingw32.sh
index df49f1bc..0b448b25 100755
--- a/tools/build-mingw32.sh
+++ b/tools/build-mingw32.sh
@@ -51,4 +51,4 @@ env \
     --host=$(../../config.guess) \
     --target=${tgt}
 
-make all
+${MAKE:-make} all