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)
commit3b24b8d5b47973fb614126b171cbfb8a6706b615
tree5851f37af1751b27d49e230324b3e1ead98d3651
parent7d278854d56cd7d9df1632835d22e590c3250540
parentfda18fd6ef20459eacd61365fe7840c599ccc77b
Merge pull request #170 from ldoolitt/master

build/xilinx/vivado: only try Xilinx setup if vivado is not already i…