diff --git a/test/jenkins/_run_ct b/test/jenkins/_run_ct
new file mode 100755
index 000000000..98d880577
--- /dev/null
+++ b/test/jenkins/_run_ct
@@ -0,0 +1,7 @@
+#!/bin/sh
+
+set -e
+mount --make-rprivate /
+umount -l  /proc
+mount -t proc proc /proc/
+exec "$@"
diff --git a/test/jenkins/run_ct b/test/jenkins/run_ct
new file mode 100755
index 000000000..5992b2ee5
--- /dev/null
+++ b/test/jenkins/run_ct
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+unshare --mount --pid --fork -- $(readlink -f `dirname $0`/_run_ct) "$@"