diff options
Diffstat (limited to 'start-container-none.sh')
| -rwxr-xr-x | start-container-none.sh | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/start-container-none.sh b/start-container-none.sh index e451aead..8e6776eb 100755 --- a/start-container-none.sh +++ b/start-container-none.sh @@ -3,17 +3,18 @@ set -e # Pretend to start a local container. Parameters are ignored but # required to have the same interface as the other scripts in this -# directory. +# directory. We check if arch and distro match the local machine's +# values. # 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 @@ -113,7 +114,7 @@ fi exec 1>&3 2>&4 cat <<EOF -ulimit -u 5000 +ulimit -u 5000 # FIXME: Does not work remotely CONTAINER="ssh -p ${session_port} -A ${session_host}" CONTAINER_CLEANUP="" session_host=${session_host} |