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)