Merge pull request #124 from jfng/master
authorenjoy-digital <florent@enjoy-digital.fr>
Fri, 2 Nov 2018 16:46:04 +0000 (17:46 +0100)
committerGitHub <noreply@github.com>
Fri, 2 Nov 2018 16:46:04 +0000 (17:46 +0100)
build/sim/verilator: don't use --threads when $(THREADS) is unset


Trivial merge