From 5fd9cdcb8ccff759c0057600660ec53c5aa29227 Mon Sep 17 00:00:00 2001 From: Mitzi Morris Date: Wed, 15 Apr 2020 12:08:57 -0400 Subject: [PATCH] set shell on linux --- make/libraries | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/make/libraries b/make/libraries index 04f94d33f03..63597c0b133 100644 --- a/make/libraries +++ b/make/libraries @@ -123,6 +123,11 @@ ifeq (,$(TBB_CC)) $(error "Need to set TBB_CC to C compiler command for non-standard compiler other than gcc or clang.") endif +# Set shell in order to use string matching for tbb-make-check +ifeq (Linux, $(OS)) + SHELL = /bin/bash +endif + $(TBB_BIN)/tbb-make-check: @if [[ $(OS) == Windows_NT ]]; then \ if ! [[ $(MAKE) =~ mingw32 ]]; then \