prjxray/fuzzers/071-ppips/generate.sh

14 lines
333 B
Bash

#!/bin/bash -x
# Copyright (C) 2017-2020 The Project X-Ray Authors.
#
# Use of this source code is governed by a ISC-style
# license that can be found in the LICENSE file or at
# https://opensource.org/licenses/ISC
#
# SPDX-License-Identifier: ISC
source ${XRAY_GENHEADER}
${XRAY_VIVADO} -mode batch -source $FUZDIR/generate.tcl