From 52d85f56e1ec52586f21a03053b57ae803778d85 Mon Sep 17 00:00:00 2001
From: Lorenz Meier <lm@inf.ethz.ch>
Date: Fri, 29 Apr 2016 11:02:15 +0200
Subject: [PATCH] upload sh: Fix portability

---
 Tools/upload.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Tools/upload.sh b/Tools/upload.sh
index c0dd65eba1..d78abc3d23 100755
--- a/Tools/upload.sh
+++ b/Tools/upload.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 EXEDIR=`pwd`
 BASEDIR=$(dirname $0)