From 2bed0c30dcd0bda98920d73366a3a6f401b2abf1 Mon Sep 17 00:00:00 2001
From: Henry Styles <hes@sifive.com>
Date: Fri, 8 Sep 2017 23:20:55 -0700
Subject: [PATCH] correct invoke of board specific ip.tcl

---
 xilinx/common/tcl/init.tcl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/xilinx/common/tcl/init.tcl b/xilinx/common/tcl/init.tcl
index c555e59..8d48406 100644
--- a/xilinx/common/tcl/init.tcl
+++ b/xilinx/common/tcl/init.tcl
@@ -15,8 +15,8 @@ foreach ipvivadotcl $ipvivadotcls {
 }
 # Optional board-specific ip script
 set boardiptcl [file join $boarddir tcl ip.tcl]
-if {[file exists boardiptcl]} {
-  source [file join $boarddir tcl ip.tcl]
+if {[file exists $boardiptcl]} {
+  source $boardiptcl
 }
 
 # AR 58526 <http://www.xilinx.com/support/answers/58526.html>