diff options
| author | Patrick Lehmann <Patrick.Lehmann@tu-dresden.de> | 2016-06-22 19:18:55 +0200 |
|---|---|---|
| committer | Patrick Lehmann <Patrick.Lehmann@tu-dresden.de> | 2016-06-22 19:18:55 +0200 |
| commit | e4e537afc5ba96e8732e86a213d566922f8c553a (patch) | |
| tree | b164cb0b7ed287499dbdd8cb1c5466f0da10089e /libraries/vendors/shared.sh | |
| parent | 0c1c22053f3372a7d0b185c7c44f83799f0b08e5 (diff) | |
| download | ghdl-e4e537afc5ba96e8732e86a213d566922f8c553a.tar.gz ghdl-e4e537afc5ba96e8732e86a213d566922f8c553a.tar.bz2 ghdl-e4e537afc5ba96e8732e86a213d566922f8c553a.zip | |
Reworked vendor library compile scripts for Windows.
Diffstat (limited to 'libraries/vendors/shared.sh')
| -rw-r--r-- | libraries/vendors/shared.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libraries/vendors/shared.sh b/libraries/vendors/shared.sh index 586e17010..0193223e5 100644 --- a/libraries/vendors/shared.sh +++ b/libraries/vendors/shared.sh @@ -75,7 +75,7 @@ SetupDirectories() { fi if [ -z $SourceDirectory ] || [ -z $DestinationDirectory ]; then - echo 1>&2 -e "${COLORED_ERROR} $Name is not configured in '$ScriptDir/config.sh'${ANSI_NOCOLOR}" + echo 1>&2 -e "${COLORED_ERROR} $Name is not configured in '$ScriptDir/config.sh'.${ANSI_NOCOLOR}" echo 1>&2 -e " Use adv. options '--src' and '--out' or configure 'config.sh'." exit -1 elif [ ! -d $SourceDirectory ]; then @@ -130,7 +130,7 @@ CreateDestinationDirectory() { echo 1>&2 -e "${COLORED_ERROR} Vendor directory '$DestinationDirectory' already exists as a file.${ANSI_NOCOLOR}" exit -1 else - echo -e "${ANSI_YELLOW}Creating vendor directory: '$DestinationDirectory'${ANSI_NOCOLOR}" + echo -e "${ANSI_YELLOW}Creating vendor directory: '$DestinationDirectory'.${ANSI_NOCOLOR}" mkdir -p "$DestinationDirectory" fi } |