remove fatal git clone if RTL exists

This commit is contained in:
Christian Rotzoll
2019-07-25 22:44:48 +02:00
parent fb1135c33d
commit 688ff5a26b

View File

@@ -71,6 +71,7 @@ if [ "$1" = "1" ] || [ "$1" = "on" ]; then
# download source code and set to tag release
echo "*** Get the RTL Source Code ***"
rm -r ./RTL 2>/dev/null
git clone https://github.com/ShahanaFarooqui/RTL.git
cd RTL
git reset --hard v0.4.2