Use non-interactive input

Research-Tools-PAVT · Dec 2, 2020 · d83484b · d83484b
1 parent 53ace1a
commit d83484b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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")