build: Explicitly use bash for shell scripts

[vpp.git] / src / scripts / generate_version_h

diff --git a/src/scripts/generate_version_h b/src/scripts/generate_version_h
index 5912368..cdcdf5d 100755 (executable)
--- a/src/scripts/generate_version_h
+++ b/src/scripts/generate_version_h
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 : ${VPP_BUILD_USER:=$(whoami)}
 : ${VPP_BUILD_HOST:=$(hostname)}
 DATE_FMT="+%Y-%m-%dT%H:%M:%S"