1 files changed, 1 insertions, 1 deletions
diff --git a/util/udall b/util/udall
index d1ff1c482..f1d52a1d1 100755
--- a/util/udall
+++ b/util/udall
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 if [ ! -d .git ]; then
 	echo Unable to update `pwd`
 	exit