fuzzers/071-ppips/generate.sh - prjxray - Git at Google

 #!/bin/bash -x

 source ${XRAY_GENHEADER}

 vivado -mode batch -source ../generate.tcl
	#!/bin/bash -x

	source ${XRAY_GENHEADER}

	vivado -mode batch -source ../generate.tcl