change /bin/bash to /usr/bin/env bash

This commit is contained in:
edoapra 2023-05-11 13:21:44 -07:00
parent fba5333e19
commit 25082d4df8
No known key found for this signature in database
GPG key ID: 48E12DA1EDE9E1B0

View file

@ -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