From 7a4b811a63f5c619181a2aadc3f014d02dec982a Mon Sep 17 00:00:00 2001 From: Geoffroy Van Cutsem Date: Mon, 7 Dec 2020 11:16:23 +0100 Subject: [PATCH] hv: set SHELL in top-level Makefile Explicitly set the SHELL variable in the top-level Makefile. This ensures that 'echo -e' as used in the Makefile behaves correctly on various systems. It does require /bin/bash to be present but that is probably true on many systems. Tracked-On: #5588 Signed-off-by: Geoffroy Van Cutsem --- Makefile | 3 +++ 1 file changed, 3 insertions(+) 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)