From de0b6cfabcb803608578d76c879610e77f3aacbb Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Thu, 16 Jan 2025 12:15:29 -0800
Subject: [PATCH] Use good make

---
 .github/workflows/test-build.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/test-build.yml b/.github/workflows/test-build.yml
index ab3300bee..11a9a643a 100644
--- a/.github/workflows/test-build.yml
+++ b/.github/workflows/test-build.yml
@@ -68,6 +68,7 @@ jobs:
       - name: Build
         shell: bash
         run: |
+          export PATH="$(brew --prefix make)/libexec/gnubin:$PATH"
           mkdir build
           cd build
           make -f ../Makefile config-$CC SMALL=0 ENABLE_ABC=1 ENABLE_PLUGINS=1 ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0 VERIFIC_DIR=../verific
@@ -166,6 +167,7 @@ jobs:
       - name: Run tests
         shell: bash
         run: |
+          export PATH="$(brew --prefix make)/libexec/gnubin:$PATH"
           make -j$procs test TARGETS= EXTRA_TARGETS= CONFIG=$CC SMALL=0 ENABLE_ABC=1 ENABLE_PLUGINS=1 ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0
 
       - name: Report errors