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 | |
| 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')
| -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 |