From b13ff3d5db7165862ca0a090bff813064ed059ee Mon Sep 17 00:00:00 2001
From: Yaman Umuroglu <yamanu@xilinx.com>
Date: Thu, 9 Jul 2020 10:15:15 +0100
Subject: [PATCH] [Docker] only check PLATFORM_REPO_PATHS if VITIS_PATH is set
---
run-docker.sh | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/run-docker.sh b/run-docker.sh
index 89735c5d4..49b23c699 100755
--- a/run-docker.sh
+++ b/run-docker.sh
@@ -53,10 +53,10 @@ fi
if [ -z "$VITIS_PATH" ];then
recho "Please set the VITIS_PATH that contains the path to your Vitis installation directory."
recho "FINN functionality depending on Vitis will not be available."
-fi
-
-if [ -z "$PLATFORM_REPO_PATHS" ];then
- recho "Please set PLATFORM_REPO_PATHS pointing to Vitis platform files (DSAs)."
+else
+ if [ -z "$PLATFORM_REPO_PATHS" ];then
+ recho "Please set PLATFORM_REPO_PATHS pointing to Vitis platform files (DSAs)."
+ fi
fi
DOCKER_GID=$(id -g)
--
GitLab