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