diff --git a/scripts/download-env.sh b/scripts/download-env.sh index 7f16fef85..9684a4c8c 100755 --- a/scripts/download-env.sh +++ b/scripts/download-env.sh @@ -172,7 +172,7 @@ echo "" echo "Platform Toolchain: $PLATFORM_TOOLCHAIN" case $PLATFORM_TOOLCHAIN in Xilinx) - $TOP_DIR/.travis/download-xilinx.sh + . $TOP_DIR/.travis/download-xilinx.sh if [ -z "$LIKELY_XILINX_LICENSE_DIR" ]; then LIKELY_XILINX_LICENSE_DIR="$HOME/.Xilinx"