diff --git a/Makefile b/Makefile index e8e76f6b6..6bdfaf30d 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,8 @@ # acrn-hypervisor/Makefile +# Explicitly set the shell to be used +SHELL := /bin/bash + # global helper variables T := $(CURDIR)