1 files changed, 4 insertions, 2 deletions
diff --git a/libc/ci/run-docker.sh b/libc/ci/run-docker.sh
index 1ac419a..e963078 100644
--- a/libc/ci/run-docker.sh
+++ b/libc/ci/run-docker.sh
@@ -8,10 +8,14 @@ run() {
     # use -f so we can use ci/ as build context
     docker build -t libc -f ci/docker/$1/Dockerfile ci/
     mkdir -p target
+    if [ -w /dev/kvm ]; then
+      kvm="--volume /dev/kvm:/dev/kvm"
+    fi
     docker run \
       --user `id -u`:`id -g` \
       --rm \
       --volume $HOME/.cargo:/cargo \
+      $kvm \
       --env CARGO_HOME=/cargo \
       --volume `rustc --print sysroot`:/rust:ro \
       --volume `pwd`:/checkout:ro \
@@ -19,8 +23,6 @@ run() {
       --env CARGO_TARGET_DIR=/checkout/target \
       --workdir /checkout \
       --privileged \
-      --interactive \
-      --tty \
       libc \
       ci/run.sh $1
 }