diff options
| author | Patrick Lehmann <Patrick.Lehmann@plc2.de> | 2021-01-16 12:29:06 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-01-16 13:31:46 +0100 |
| commit | b7596e645dacf769aeec627123d5cda2def01c4e (patch) | |
| tree | 675f25ba3c59b181a8d4cdaa34a6426b382e58b2 /libraries/vendors/shared.sh | |
| parent | 9c4c05ccad13f7496083d05c54c46b9243e94733 (diff) | |
| download | ghdl-b7596e645dacf769aeec627123d5cda2def01c4e.tar.gz ghdl-b7596e645dacf769aeec627123d5cda2def01c4e.tar.bz2 ghdl-b7596e645dacf769aeec627123d5cda2def01c4e.zip | |
Fixed style issues and potential bugs.
Diffstat (limited to 'libraries/vendors/shared.sh')
| -rwxr-xr-x | libraries/vendors/shared.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libraries/vendors/shared.sh b/libraries/vendors/shared.sh index 1b03572b3..a00540677 100755 --- a/libraries/vendors/shared.sh +++ b/libraries/vendors/shared.sh @@ -104,7 +104,7 @@ SetupDirectories() { test greadlink --version > /dev/null 2>&1 && READLINK=greadlink || READLINK=readlink SourceDirectory=$($READLINK -f $SourceDirectory) if [[ ! "$DestinationDirectory" = /* ]]; then - DestinationDirectory=$WorkingDir/$DestinationDirectory + DestinationDirectory="$WorkingDir/$DestinationDirectory" fi } |