about summary refs log tree commit diff homepage
path: root/scripts
diff options
context:
space:
mode:
authorMartin Nowack <m.nowack@imperial.ac.uk>2020-11-30 20:52:51 +0000
committerMartinNowack <2443641+MartinNowack@users.noreply.github.com>2020-12-02 15:11:39 +0000
commitd83484b63c089281a32e3d3fb8b59b21a3eb7d79 (patch)
tree9c262ef1e63bd642dac37ebf6061d633d48c5c14 /scripts
parent53ace1a119c5ede520d2e597f9bcdfeece31229a (diff)
downloadklee-d83484b63c089281a32e3d3fb8b59b21a3eb7d79.tar.gz
Use non-interactive input
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/build/run-tests.sh2
1 files changed, 1 insertions, 1 deletions
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")