clone from libre-soc.org for SymbiYosys

diff --git a/hdl-tools-yosys b/hdl-tools-yosys
index 1e39f5fa293f21f1184c3ee57361f8f27d91a51c..175df37fbe6c4b4186ff6d45af86a20618df7364 100755 (executable)
--- a/hdl-tools-yosys
+++ b/hdl-tools-yosys
@@ -18,7 +18,7 @@ mkdir -p hdl_tools
 cd hdl_tools
 
 git clone https://git.libre-soc.org/git/yosys.git
-git clone https://github.com/YosysHQ/SymbiYosys.git sby
+git clone https://git.libre-soc.org/git/SymbiYosys.git sby
 git clone https://github.com/SRI-CSL/yices2.git
 git clone https://github.com/Z3Prover/z3.git
 # XXX see ghdl-install this is really best done with that