diff options
| author | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-06-20 15:58:21 +0200 |
|---|---|---|
| committer | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-06-20 18:19:01 +0200 |
| commit | 0000f552937ee787d25c8fd0af3278ea94889216 (patch) | |
| tree | b18b87d452aadf98bceba5599eaaaea09471ffdf /ci | |
| parent | c2316b1e3429c21e6fbc9d355fb75b50dcc53c41 (diff) | |
ci: Run fuzz target even if input folder is empty
Diffstat (limited to 'ci')
| -rwxr-xr-x | ci/test/06_script_b.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/test/06_script_b.sh b/ci/test/06_script_b.sh index 1e086a9f13..0b10ebd44b 100755 --- a/ci/test/06_script_b.sh +++ b/ci/test/06_script_b.sh @@ -170,5 +170,5 @@ if [ "${RUN_TIDY}" = "true" ]; then fi if [ "$RUN_FUZZ_TESTS" = "true" ]; then - bash -c "LD_LIBRARY_PATH=${DEPENDS_DIR}/${HOST}/lib test/fuzz/test_runner.py ${FUZZ_TESTS_CONFIG} $MAKEJOBS -l DEBUG ${DIR_FUZZ_IN}" + bash -c "LD_LIBRARY_PATH=${DEPENDS_DIR}/${HOST}/lib test/fuzz/test_runner.py ${FUZZ_TESTS_CONFIG} $MAKEJOBS -l DEBUG ${DIR_FUZZ_IN} --empty_min_time=60" fi |