diff options
| author |   Tom Jones <thj@freebsd.org> | 2024-01-18 14:51:44 +0000 |
|---|---|---|
| committer |   Damjan Marion <dmarion@0xa5.net> | 2024-01-19 12:30:01 +0000 |
| commit | c3b416c49253bcf3223d2aec8c5ca06f0c78e6f9 (patch) | |
| tree | 9502543d041b75820d2137cffe00c74978c7561c /extras/vagrant/update.sh | |
| parent | ca75cd83b51895e94326117cf116c5d25e6c77da (diff) | |
build: Explicitly use bash for shell scripts
VPP requires bash for all shell scripts. Align shebang lines in build
and test scripts to look up the location of bash rather than hard coding
'/bin/bash'.
Look up the location of bash for makefiles.
Type: improvement
Change-Id: I23b705d81d60389fa8af61c680cf0abd74f0ea24
Signed-off-by: Tom Jones <thj@freebsd.org>
Diffstat (limited to 'extras/vagrant/update.sh')
| -rwxr-xr-x | extras/vagrant/update.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/vagrant/update.sh b/extras/vagrant/update.sh index 3fb456b26eb..e56e6ba004e 100755 --- a/extras/vagrant/update.sh +++ b/extras/vagrant/update.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # Make sure that we get the hugepages we need on provision boot # Note: The package install should take care of this at the end |