build: Explicitly use bash for shell scripts

[vpp.git] / extras / vagrant / run.sh

diff --git a/extras/vagrant/run.sh b/extras/vagrant/run.sh
index 3e87e25..be2d842 100755 (executable)
--- a/extras/vagrant/run.sh
+++ b/extras/vagrant/run.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Figure out what system we are running on
 if [ "$(uname)" <> "Darwin" ] ; then