diff options
author | Tristan Gingold <tgingold@free.fr> | 2017-11-27 21:17:24 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2017-11-27 21:17:24 +0100 |
commit | 7d95eb2ad556102dbb3514ef17299fcc3c3b57b4 (patch) | |
tree | 41f7120100ada75c1d2554c7491ad726dd36b60f /libraries/vendors/shared.sh | |
parent | 9e4ec135ab7bfec367acbfd6e7c742b7f1d9b1ea (diff) | |
download | ghdl-7d95eb2ad556102dbb3514ef17299fcc3c3b57b4.tar.gz ghdl-7d95eb2ad556102dbb3514ef17299fcc3c3b57b4.tar.bz2 ghdl-7d95eb2ad556102dbb3514ef17299fcc3c3b57b4.zip |
Use greadlink on Darwin.
Fix #463
Diffstat (limited to 'libraries/vendors/shared.sh')
-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 |