diff options
author | Dmitriy Nikiforov <d.nikiforov@samsung.com> | 2017-10-23 22:48:02 +0300 |
---|---|---|
committer | Maria Guseva <m.guseva@samsung.com> | 2017-10-27 16:20:20 +0000 |
commit | 650c83551b2231e209daebe42f31b2abd9e03dd5 (patch) | |
tree | 9ef266f2470fb8003600a3b98101b4b7887592da /infra/commands | |
parent | 2dc9c025ea159cd02cced86dc8e47c6a49c94bd6 (diff) | |
download | fuzz-testing-650c83551b2231e209daebe42f31b2abd9e03dd5.tar.gz fuzz-testing-650c83551b2231e209daebe42f31b2abd9e03dd5.tar.bz2 fuzz-testing-650c83551b2231e209daebe42f31b2abd9e03dd5.zip |
Add support for UBSan to 'run-all' command
Updated 'publish' and 'run' commands arguments.
Change-Id: I13fdc1fcc229fda213590a40d6b32f6f7a75878e
Diffstat (limited to 'infra/commands')
-rwxr-xr-x | infra/commands/run-all.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/infra/commands/run-all.sh b/infra/commands/run-all.sh index cb76d27..4954034 100755 --- a/infra/commands/run-all.sh +++ b/infra/commands/run-all.sh @@ -59,13 +59,14 @@ function start_worker() { if (( PUBLISH )); then target_name=$(echo "${job}" | cut -d ' ' -f 1) echo "* Publishing target '${target_name}' to ${worker} ..." - echo "" | "${COMMANDS_DIR}"/publish.sh --serial "${worker}" --with-asan --install-deps \ + echo "" | "${COMMANDS_DIR}"/publish.sh --serial "${worker}" --with-sanitizers --install-deps \ "${EXTRA_PUBLISH_ARGS[@]}" "${target_name}" >/dev/null fi # start fuzzing echo "* Starting job on ${worker}: ${job} ..." - echo "" | "${COMMANDS_DIR}"/run.sh --serial "${worker}" --timeout $((TIMEOUT * 60)) ${job} >/dev/null 2>&1 & + echo "" | "${COMMANDS_DIR}"/run.sh --install-deps --serial "${worker}" --timeout $((TIMEOUT * 60)) \ + ${job} >/dev/null 2>&1 & # save pid and job local pid=$! |