Merge branch 'dev' into filter-c-files

This commit is contained in:
Abraham Gonzalez
2019-07-17 15:20:51 -07:00
committed by GitHub

View File

@@ -36,4 +36,4 @@ $(VERILATOR_SRCDIR)/configure: $(VERILATOR_INSTALL_DIR)/verilator-$(VERILATOR_VE
$(VERILATOR_INSTALL_DIR)/verilator-$(VERILATOR_VERSION).tar.gz:
mkdir -p $(dir $@)
wget http://www.veripool.org/ftp/verilator-$(VERILATOR_VERSION).tgz -O $@
wget https://www.veripool.org/ftp/verilator-$(VERILATOR_VERSION).tgz -O $@