diff options
Diffstat (limited to 'scripts/vendors/compile-xilinx-vivado.sh')
| -rwxr-xr-x | scripts/vendors/compile-xilinx-vivado.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/vendors/compile-xilinx-vivado.sh b/scripts/vendors/compile-xilinx-vivado.sh index 050f0ab4a..334df149f 100755 --- a/scripts/vendors/compile-xilinx-vivado.sh +++ b/scripts/vendors/compile-xilinx-vivado.sh @@ -38,7 +38,7 @@ ScriptDir="$(dirname $0)" ScriptDir="$($READLINK -f $ScriptDir)" # Source Bash utilities -source $ScriptDir/../ansi_color.sh +source "$ScriptDir"/../ansi_color.sh if [[ $? -ne 0 ]]; then echo 1>&2 -e "${COLORED_ERROR} While loading Bash utilities.${ANSI_NOCOLOR}" ; exit 1; fi |