| # header for fuzzer generate.sh scripts | |
| # 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 | |
| if [ -z "$XRAY_DATABASE" ]; then | |
| echo "No XRAY environment found. Make sure to source the settings file first!" | |
| exit 1 | |
| fi | |
| set -ex | |
| export FUZDIR=$PWD | |
| # for some reason on sourced script set -e doesn't work | |
| # Scripts may have additional arguments, but first is reserved for build directory | |
| test $# -ge 1 || exit 1 | |
| test ! -e "$SPECDIR" | |
| export SPECDIR=$1 | |
| mkdir -p "$SPECDIR" | |
| cd "$SPECDIR" | |
| export SEED="$(echo $SPECDIR | md5sum | cut -c1-8)" | |
| export SEEDN="$(basename $(pwd) |sed s/specimen_0*//)" | |
| function seed_vh () { | |
| echo '`define SEED 32'"'h${SEED}" > setseed.vh | |
| } | |