From 38d185280e2cad4ed6673bb38f707f54dad4ded7 Mon Sep 17 00:00:00 2001
From: wolfbeast <mcwerewolf@gmail.com>
Date: Tue, 13 Mar 2018 13:38:57 +0100
Subject: Remove Rust from the tree.

Part 4 for #58
---
 third_party/rust/libc/ci/run-docker.sh | 25 -------------------------
 1 file changed, 25 deletions(-)
 delete mode 100644 third_party/rust/libc/ci/run-docker.sh

(limited to 'third_party/rust/libc/ci/run-docker.sh')

diff --git a/third_party/rust/libc/ci/run-docker.sh b/third_party/rust/libc/ci/run-docker.sh
deleted file mode 100644
index 5ad90652f..000000000
--- a/third_party/rust/libc/ci/run-docker.sh
+++ /dev/null
@@ -1,25 +0,0 @@
-# Small script to run tests for a target (or all targets) inside all the
-# respective docker images.
-
-set -ex
-
-run() {
-    echo $1
-    docker build -t libc ci/docker/$1
-    docker run \
-      -v `rustc --print sysroot`:/rust:ro \
-      -v `pwd`:/checkout:ro \
-      -e CARGO_TARGET_DIR=/tmp/target \
-      -w /checkout \
-      --privileged \
-      -it libc \
-      ci/run.sh $1
-}
-
-if [ -z "$1" ]; then
-  for d in `ls ci/docker/`; do
-    run $d
-  done
-else
-  run $1
-fi
-- 
cgit v1.2.3