diff options
-rw-r--r-- | GNUmakefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/GNUmakefile b/GNUmakefile index 6ae3d0149..1602c9195 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -2,8 +2,9 @@ # SPDX-License-Identifier: LGPL-3.0-only WITH LGPL-3.0-linking-exception -SHELL := /usr/bin/env -.SHELLFLAGS := -S bash -Eeuo pipefail -c +BASH := bash +SHELL := /usr/bin/env +.SHELLFLAGS := -S '$(BASH) -Eeuo pipefail -c' MAKEFLAGS += --no-builtin-rules |