Merge pull request #170 from ldoolitt/master
authorenjoy-digital <florent@enjoy-digital.fr>
Tue, 23 Apr 2019 03:26:54 +0000 (05:26 +0200)
committerGitHub <noreply@github.com>
Tue, 23 Apr 2019 03:26:54 +0000 (05:26 +0200)
build/xilinx/vivado: only try Xilinx setup if vivado is not already i…


Trivial merge