summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTom Jones <thj@freebsd.org>2024-02-06 10:05:06 +0000
committerDamjan Marion <dmarion@0xa5.net>2024-04-09 15:15:45 +0000
commitbf89b81779e8d27be9a0b43ce75b6e5fe34af31a (patch)
tree5aa913db3235d7a2df108278e6f9173f7be15995
parent5997a5db0a0098bc1c3362f41e3481a05d196904 (diff)
build: Error out Makefile if bash can't be found
Type: improvement Change-Id: I3bba4e53364dbcc0d7a373fdc9cac2db3bbb4249 Signed-off-by: Tom Jones <thj@freebsd.org>
-rw-r--r--Makefile4
1 files changed, 4 insertions, 0 deletions
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), \