From c99d34c06903875bfe51dc90d8a032aadb38de48 Mon Sep 17 00:00:00 2001
From: Recolic Keghart <root@recolic.net>
Date: Mon, 3 Sep 2018 09:23:44 +0800
Subject: [PATCH] remove another junk dir
---
vivado-wrapper | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/vivado-wrapper b/vivado-wrapper
index 6ae897c..c6d45e7 100755
--- a/vivado-wrapper
+++ b/vivado-wrapper
@@ -143,7 +143,7 @@ function generate_real_project () {
}
function clean_real_project () {
- rm -rf $temp_dir
+ rm -rf $temp_dir ./.Xil
echo "real_project cleaned"
}
--
GitLab