diff --git a/Makefile b/Makefile index 866e23f8b9..845feae2d9 100644 --- a/Makefile +++ b/Makefile @@ -33,7 +33,7 @@ SHELL := bash else SHELL := /usr/bin/env bash endif -.SHELLFLAGS := -eu -o pipefail -c +.SHELLFLAGS := --norc -eu -o pipefail -c # Enable parallel execution by default (only if user didn't specify -j) ifeq (,$(filter -j%,$(MAKEFLAGS)))