From 86a0b9b7e3890cd9f3f83445028f18840dd31134 Mon Sep 17 00:00:00 2001
From: Jianyi Cheng <jc9016@ic.ac.uk>
Date: Wed, 9 Jun 2021 11:46:43 +0100
Subject: [PATCH] format

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index e43b7983668..997be8a7da8 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,7 @@
 user=$(if $(shell id -u),$(shell id -u),9001)
 group=$(if $(shell id -g),$(shell id -g),1000)
 phism=/workspace
-vhls=/jc9016/tools/Xilinx/2020.2
+vhls=/tools/Xilinx/2020.2
 th=1
 
 # Build Phism
@@ -10,7 +10,7 @@ build-docker: test-docker
 	-c "make build-phism"
 	echo "Phism has been installed successfully!"
 
-# Clone submodule and build docker container
+# Build docker container
 test-docker:
 	(cd Docker; docker build --build-arg UID=$(user) --build-arg GID=$(group) --build-arg VHLS_PATH=$(vhls) . --tag phism8)