diff options
| author |   Tom Jones <thj@freebsd.org> | 2024-02-06 10:05:06 +0000 |
|---|---|---|
| committer |   Damjan Marion <dmarion@0xa5.net> | 2024-04-09 15:15:45 +0000 |
| commit | bf89b81779e8d27be9a0b43ce75b6e5fe34af31a (patch) | |
| tree | 5aa913db3235d7a2df108278e6f9173f7be15995 | |
| parent | 5997a5db0a0098bc1c3362f41e3481a05d196904 (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-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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), \ |