diff options
author | Alexander Bulekov <alxndr@bu.edu> | 2022-06-23 08:55:05 -0400 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2022-07-08 11:03:36 +0200 |
commit | 0e76929d6539a609a49bac09c27444ef576fa74a (patch) | |
tree | 93543289e3616342a598a8a4ee171f03186061c5 /scripts/oss-fuzz/build.sh | |
parent | e56d09702834cf61342b71892ba25252d6c0ecf1 (diff) |
fuzz: only use generic-fuzz targets on oss-fuzz
The non-generic-fuzz targets often time-out, or run out of memory.
Additionally, they create unreproducible bug-reports. It is possible
that this is resulting in failing coverage-reports on OSS-Fuzz. In the
future, these test-cases should be fixed, or removed.
Reviewed-by: Darren Kenny <darren.kenny@oracle.com>
Signed-off-by: Alexander Bulekov <alxndr@bu.edu>
Message-Id: <20220623125505.2137534-1-alxndr@bu.edu>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'scripts/oss-fuzz/build.sh')
-rwxr-xr-x | scripts/oss-fuzz/build.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/oss-fuzz/build.sh b/scripts/oss-fuzz/build.sh index 98b56e0521..aaf485cb55 100755 --- a/scripts/oss-fuzz/build.sh +++ b/scripts/oss-fuzz/build.sh @@ -1,4 +1,4 @@ -#!/bin/sh -e +#!/bin/bash -e # # OSS-Fuzz build script. See: # https://google.github.io/oss-fuzz/getting-started/new-project-guide/#buildsh @@ -105,7 +105,7 @@ do # to be configured. We have some generic-fuzz-{pc-q35, floppy, ...} targets # that are thin wrappers around this target that set the required # environment variables according to predefined configs. - if [ "$target" != "generic-fuzz" ]; then + if [[ $target == "generic-fuzz-"* ]]; then ln $base_copy \ "$DEST_DIR/qemu-fuzz-i386-target-$target" fi |