changeset 17085:841a9f98b97c

Using basename instead of BASH_SOURCE, does not on older versions of bash (Which comes with Solaris 11.0)
author Stefan Anzinger <stefan.anzinger@oracle.com>
date Tue, 09 Sep 2014 12:20:19 -0700
parents 26f5733fb645
children 82b5a7250a0d
files mxtool/mx
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/mxtool/mx	Tue Sep 09 12:15:29 2014 -0700
+++ b/mxtool/mx	Tue Sep 09 12:20:19 2014 -0700
@@ -28,7 +28,7 @@
 dir=`/bin/pwd`
 
 # Resolve location of this script so that mx.py can be found in the same directory
-source="${BASH_SOURCE[0]}"
+source="$(basename $0)"
 while [ -h "$source" ] ; do source="$(readlink "$source")"; done
 dir="$( cd -P "$( dirname "$source" )" && pwd )"