Enforce bash as shell in makefile

Was not the case on my debian machine for some reason...
This commit is contained in:
Ced
2023-10-03 23:42:38 +01:00
parent 9fe88efca9
commit 97f3a044c2

View File

@@ -6,6 +6,11 @@ CLEAN := latexmk -cd -lualatex -c -use-make
CHECK_1 := lacheck
CHECK_2 := chktex
# we want bash as shell
SHELL := $(shell if [ -x "$$BASH" ]; then echo $$BASH; \
else if [ -x /bin/bash ]; then echo /bin/bash; \
else echo sh; fi; fi)
ifdef DEBUG
EBOOK += -a debug
WEBSITE += -a debug