diff options
Diffstat (limited to 'start-container-schroot.sh')
| -rwxr-xr-x | start-container-schroot.sh | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/start-container-schroot.sh b/start-container-schroot.sh index ebf2bfdd..b9bacd88 100755 --- a/start-container-schroot.sh +++ b/start-container-schroot.sh @@ -6,12 +6,12 @@ set -e # This script is meant to be executed from Jenkins jobs inside TCWG # lab. It prints shell commands meant to be executed in the parent # shell, consisting in: -# - a cleanup statement, to remove the container on exit for instance # - definition of ${CONTAINER}, used to prefix commands that you want # to run inside the container. +# - definition of ${CONTAINER_CLEANUP}, a cleanup statement remove the +# container on exit for instance # - definition of ${session_host} and ${session_port}, can be used for # a remote connexion to the container - usage() { echo "Usage: $0 --arch container-arch --distro flavour [--session-host host] [--session-name name] [--task {build|test}]" echo @@ -94,9 +94,6 @@ fi exec 1>&3 2>&4 cat <<EOF -ulimit -u 5000 # FIXME how to support this remotely? -# Sometimes /dev/pts can't get unmounted on the first try. -# Workaround by retrying. CONTAINER="${SCHROOT} -r -c session:$session_id --preserve-environment -- " CONTAINER_CLEANUP="${SCHROOT} -f -e -c session:$session_id" session_host=${session_host} |