From 9d19e2946bb97ee73ab0d7e9f998f32b1d1a1cc3 Mon Sep 17 00:00:00 2001
From: Jeffrey Crowell <crowell@bu.edu>
Date: Sat, 22 Aug 2015 01:37:47 -0400
Subject: [PATCH] make env.sh work in dash

---
 env.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/env.sh b/env.sh
index 5080b00650f7b..dd884c9a68772 100755
--- a/env.sh
+++ b/env.sh
@@ -1,6 +1,6 @@
-#!/bin/sh
+#!/bin/bash
 
-function getabsolutepath(){
+getabsolutepath() {
 	[ -d "$1" ] && { cd "$1"; echo "$(pwd -P)"; } ||
 	{ cd "$(dirname "$1")"; echo "$(pwd -P)/$(basename "$1")"; }
 }