From bf89b81779e8d27be9a0b43ce75b6e5fe34af31a Mon Sep 17 00:00:00 2001
From: Tom Jones <thj@freebsd.org>
Date: Tue, 6 Feb 2024 10:05:06 +0000
Subject: build: Error out Makefile if bash can't be found

Type: improvement
Change-Id: I3bba4e53364dbcc0d7a373fdc9cac2db3bbb4249
Signed-off-by: Tom Jones <thj@freebsd.org>
---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)

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), \
-- 
cgit 1.2.3-korg