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