blob: 27bb0fbc610ebf168e1c0e792821178ff738e8a7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#!/bin/bash
# Copyright 2014,2016 Holger Levsen <holger@layer-acht.org>
# © 2015 Mattia Rizzolo <mattia@mapreri.org>
# released under the GPLv=2
set -e
if [ ! -z "$SUDO_USER" ] ; then
REQUESTER="$SUDO_USER"
else
echo "Please run this script as the jenkins user, exiting."
exit 1
fi
LC_USER="$REQUESTER" \
LOCAL_CALL="true" \
/srv/jenkins/bin/reproducible_remote_scheduler.py "$@"
|