Merge pull request #1842 from stan-dev/bugfix/1839-make-shell-linux

Bugfix/1839 make shell linux
stan-dev · Apr 16, 2020 · 8ef0522 · 8ef0522
2 parents cbcc81d + 5fd9cdc
commit 8ef0522
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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 \