Use /bin/sh (GH #573)

pull/577/head
Jeffrey Walton 2018-01-25 18:39:24 -05:00
parent 526742d862
commit c16eddb40e
No known key found for this signature in database
GPG Key ID: B36AB348921B1838
2 changed files with 6 additions and 2 deletions

View File

@ -2,8 +2,9 @@
##### System Attributes and Programs ##### ##### System Attributes and Programs #####
########################################################### ###########################################################
# Must use Bash # https://www.gnu.org/software/make/manual/make.html#Makefile-Conventions
SHELL = bash SHELL = /bin/sh
# If needed # If needed
TMPDIR ?= /tmp TMPDIR ?= /tmp
# Used for ARMv7 and NEON. # Used for ARMv7 and NEON.

View File

@ -1,3 +1,6 @@
# https://www.gnu.org/software/make/manual/make.html#Makefile-Conventions
SHELL = /bin/sh
# Default CXXFLAGS if none were provided # Default CXXFLAGS if none were provided
CXXFLAGS ?= -DNDEBUG -g2 -O3 -fPIC -pipe CXXFLAGS ?= -DNDEBUG -g2 -O3 -fPIC -pipe