From 016611021d6f243f41fc906d756ff96275842337 Mon Sep 17 00:00:00 2001
From: Yuri Victorovich <yuri@rawbw.com>
Date: Wed, 2 Dec 2020 19:26:42 -0500
Subject: [PATCH] Fix the default GNU Make executable name on FreeBSD (#2553)

---
 src/V3Options.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/V3Options.cpp b/src/V3Options.cpp
index 3b49377ed..8ccbd5c56 100644
--- a/src/V3Options.cpp
+++ b/src/V3Options.cpp
@@ -603,7 +603,11 @@ string V3Options::getenvBuiltins(const string& var) {
     }
 }
 
+#ifdef __FreeBSD__
+string V3Options::getenvMAKE() { return V3Os::getenvStr("MAKE", "gmake"); }
+#else
 string V3Options::getenvMAKE() { return V3Os::getenvStr("MAKE", "make"); }
+#endif
 
 string V3Options::getenvPERL() {  //
     return V3Os::getenvStr("PERL", "perl");