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)
commit00ef8240ef2aa97bbcd6acff54c62139f95a08d6
treeb539063e8ae4b50d45bc2ce7db395b1f062d8de1
parent6f38213acc363a3b39626ab5d396f032bcc0fbe1
parentdcbe759b6434872b0e91ff825579623e96f3defc
Merge pull request #124 from jfng/master

build/sim/verilator: don't use --threads when $(THREADS) is unset