xilinx_ise: add --no-source option to disable sourcing of ISE settings file
authorSebastien Bourdeauducq <sebastien@milkymist.org>
Tue, 16 Apr 2013 20:39:35 +0000 (22:39 +0200)
committerSebastien Bourdeauducq <sebastien@milkymist.org>
Tue, 16 Apr 2013 20:39:35 +0000 (22:39 +0200)
commit31b1960188f58d55cd3784f1d2d295db8f37ad22
tree6424b883cc51d8846982d6148c8758e6845e1eae
parent59d64e92e84239ab444c44c8a91af6a5ccd07291
xilinx_ise: add --no-source option to disable sourcing of ISE settings file
mibuild/xilinx_ise.py