diff options
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 |