diff --git a/test/jenkins/_run_ct b/test/jenkins/_run_ct index 88b5b6cb4..689c6008d 100755 --- a/test/jenkins/_run_ct +++ b/test/jenkins/_run_ct @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash set -e mount --make-rslave / diff --git a/test/jenkins/run_ct b/test/jenkins/run_ct index 5992b2ee5..930a1c3c3 100755 --- a/test/jenkins/run_ct +++ b/test/jenkins/run_ct @@ -1,3 +1,3 @@ -#!/bin/sh +#!/bin/bash unshare --mount --pid --fork -- $(readlink -f `dirname $0`/_run_ct) "$@"