Makefile: don't hardcode the path for bash (theseus-os#1086)

Some systems (e.g., NixOS) don't have `/bin/bash`, so use the `env` utility to locate `bash` instead.
sunshine-lcc · Dec 23, 2023 · 813015b · 813015b
1 parent ac5712c
commit 813015b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -1,7 +1,7 @@
 ### This makefile is the top-level build script that builds all the crates in subdirectories 
 ### and combines them into the final OS .iso image.
 ### It also provides convenient targets for running and debugging Theseus and using GDB on your host computer.
-SHELL := /bin/bash
+SHELL := /usr/bin/env bash
 
 ## Disable parallelism for this Makefile since it breaks the build,
 ## as our dependencies aren't perfectly specified for each target.

diff --git a/cfg/Config.mk b/cfg/Config.mk
@@ -3,7 +3,7 @@
 ### So, to access the directory containing this file, you would use "../"
 
 .DEFAULT_GOAL := all
-SHELL := /bin/bash
+SHELL := /usr/bin/env bash
 
 ## specifies which architecture we're building for
 ARCH ?= x86_64