From d83484b63c089281a32e3d3fb8b59b21a3eb7d79 Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Mon, 30 Nov 2020 20:52:51 +0000 Subject: Use non-interactive input --- scripts/build/run-tests.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'scripts') diff --git a/scripts/build/run-tests.sh b/scripts/build/run-tests.sh index 32f9a74f..bcd7ce2b 100755 --- a/scripts/build/run-tests.sh +++ b/scripts/build/run-tests.sh @@ -95,7 +95,7 @@ function upload_coverage() { } function run_docker() { - docker_arguments=(docker run -u root --cap-add SYS_PTRACE -ti) + docker_arguments=(docker run -u root --cap-add SYS_PTRACE -t) script_arguments=("--debug" '"/tmp/klee_build"*') if [[ "${COVERAGE}" -eq 1 ]]; then script_arguments+=("--coverage") -- cgit 1.4.1