diff options
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 79740bb3c670..626c726746c2 100644 --- a/Makefile.in +++ b/Makefile.in @@ -13,7 +13,7 @@ ifeq ($(MAKECMDGOALS),) MAKECMDGOALS:=all endif -SHELL=@BASH@ +SHELL=/usr/bin/env bash SRCDIR := @SRC_ROOT@ BUILDDIR := @BUILDDIR@ |