UbuntuのVivadoでZybo base systemのビットストリームが生成できない

LEDとSWの電圧をLVCMOS33に指定してみたけど、ビルドできない

Settingsからtcl.preに以下の.tclスクリプトを指定したら.bitを生成できた
https://japan.xilinx.com/support/answers/56354.html
hoge.tcl

set_property SEVERITY {Warning} [get_drc_checks NSTD-1]
set_property SEVERITY {Warning} [get_drc_checks UCIO-1]