aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBruce Hill <bruce@bruce-hill.com>2025-04-15 18:23:14 -0400
committerBruce Hill <bruce@bruce-hill.com>2025-04-15 18:23:14 -0400
commit88852ca1d67690a9c0384632873a68947c0eb33e (patch)
tree783c9176781666b2c4c75c05ee937d667b7116cb
parent5846f9dd9c80cc1db52984323d445874c69fb766 (diff)
Explicitly invoke bash instead of using shebang
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index c9b0a6ff..486c3417 100644
--- a/Makefile
+++ b/Makefile
@@ -3,7 +3,7 @@ ifeq ($(wildcard config.mk),)
all: config.mk
$(MAKE) all
config.mk: configure.sh
- ./configure.sh
+ bash ./configure.sh
else
include config.mk
@@ -96,7 +96,7 @@ tags:
ctags src/*.[ch] src/stdlib/*.[ch]
config.mk: configure.sh
- ./configure.sh
+ bash ./configure.sh
%.o: %.c src/ast.h src/environment.h src/types.h config.mk
@echo $(CC) $(CFLAGS_PLACEHOLDER) -c $< -o $@