summaryrefslogtreecommitdiffstats
path: root/extras/vagrant/run.sh
diff options
context:
space:
mode:
Diffstat (limited to 'extras/vagrant/run.sh')
-rwxr-xr-xextras/vagrant/run.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/vagrant/run.sh b/extras/vagrant/run.sh
index 3e87e259442..be2d8425903 100755
--- 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