mirror of
https://github.com/linuxboot/heads.git
synced 2024-12-24 07:06:42 +00:00
Makefile: Use path agnostic bash location
This patch changes the bash location in the makefile from /bin/bash to /usr/bin/env bash. The latter is a more reproducible location as it is common to more *nix systems which don't contain the former, such as NixOS.
This commit is contained in:
parent
bf3898a2a1
commit
171b29f09d
2
Makefile
2
Makefile
@ -110,7 +110,7 @@ $(shell mkdir -p "$(initrd_lib_dir)" "$(initrd_bin_dir)")
|
|||||||
# proceed with the build.
|
# proceed with the build.
|
||||||
|
|
||||||
# Force pipelines to fail if any of the commands in the pipe fail
|
# Force pipelines to fail if any of the commands in the pipe fail
|
||||||
SHELL := /bin/bash
|
SHELL := /usr/bin/env bash
|
||||||
.SHELLFLAGS := -o pipefail -c
|
.SHELLFLAGS := -o pipefail -c
|
||||||
|
|
||||||
# Include the musl-cross module early so that $(CROSS) will
|
# Include the musl-cross module early so that $(CROSS) will
|
||||||
|
Loading…
Reference in New Issue
Block a user