From: Tom Jones <thj@freebsd.org>
Date: Tue, 6 Feb 2024 10:05:06 +0000 (+0000)
Subject: build: Error out Makefile if bash can't be found
X-Git-Tag: v24.10-rc0~104
X-Git-Url: https://gerrit.fd.io/r/gitweb?p=vpp.git;a=commitdiff_plain;h=bf89b81779e8d27be9a0b43ce75b6e5fe34af31a

build: Error out Makefile if bash can't be found

Type: improvement
Change-Id: I3bba4e53364dbcc0d7a373fdc9cac2db3bbb4249
Signed-off-by: Tom Jones <thj@freebsd.org>
---

diff --git a/Makefile b/Makefile
index a2d8b18be3b..edd632e42d5 100644
--- a/Makefile
+++ b/Makefile
@@ -23,6 +23,10 @@ MACHINE=$(shell uname -m)
 SUDO?=sudo -E
 DPDK_CONFIG?=no-pci
 
+ifeq ($(strip $(SHELL)),)
+$(error "bash not found, VPP requires bash to build")
+endif
+
 ,:=,
 define disable_plugins
 $(if $(1), \