From 25082d4df83ff19b45af7f97df600ac369bf3bae Mon Sep 17 00:00:00 2001
From: edoapra <edoardo.apra@gmail.com>
Date: Thu, 11 May 2023 13:21:44 -0700
Subject: [PATCH] change /bin/bash to /usr/bin/env bash

---
 src/config/makefile.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/config/makefile.h b/src/config/makefile.h
index 930d7c55f4..1f2ff5c472 100644
--- a/src/config/makefile.h
+++ b/src/config/makefile.h
@@ -419,7 +419,7 @@ BUILDING_PYTHON = $(filter $(NWSUBDIRS),python)
 # Establish some required defaults which may need overriding
 # for some machines
 
-SHELL = /bin/bash
+SHELL = /usr/bin/env bash
 ARFLAGS = r
 FDEBUG = -g
 CDEBUG = -g
@@ -1502,7 +1502,7 @@ ifeq ($(TARGET),$(findstring $(TARGET),LINUX CYGNUS CYGWIN))
 # Linux or Cygwin under Windows running on an x86 using g77
 #
     NICE = nice -n 2
-    SHELL := $(NICE) /bin/bash
+    SHELL := $(NICE) /usr/bin/env bash
 
     ifeq ($(BLASOPT),)
         CORE_SUBDIRS_EXTRA += blas