diff options
author | Tristan Gingold <tgingold@free.fr> | 2019-03-30 18:50:04 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2019-03-30 18:50:04 +0100 |
commit | b4d7798fe8e8edccb72d1b4e8541923aa1d94ef3 (patch) | |
tree | f9a13f30343d3ef42599065d4ea9a0288ad3db4a /libraries/vendors/shared.sh | |
parent | 6e9d3d7a1099efad86527521cd69163dd6e8ee67 (diff) | |
download | ghdl-b4d7798fe8e8edccb72d1b4e8541923aa1d94ef3.tar.gz ghdl-b4d7798fe8e8edccb72d1b4e8541923aa1d94ef3.tar.bz2 ghdl-b4d7798fe8e8edccb72d1b4e8541923aa1d94ef3.zip |
vendors: update scripts for uvvm.
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 |