diff options
Diffstat (limited to 'libraries/vendors/shared.sh')
-rw-r--r-- | libraries/vendors/shared.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/libraries/vendors/shared.sh b/libraries/vendors/shared.sh index 1c672fb13..e1d7f4391 100644 --- a/libraries/vendors/shared.sh +++ b/libraries/vendors/shared.sh @@ -76,7 +76,11 @@ SetupDirectories() { fi # Resolve paths to an absolute paths - READLINK=readlink; if [[ $(uname) == "Darwin" ]]; then READLINK=greadlink; fi + if greadlink --version > /dev/null 2>&1 ; then + READLINK=greadlink + else + READLINK=readlink + fi SourceDirectory=$($READLINK -f $SourceDirectory) if [[ ! "$DestinationDirectory" = /* ]]; then DestinationDirectory=$WorkingDir/$DestinationDirectory |