summaryrefslogtreecommitdiff
path: root/scripts/deploy
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-10-14 17:57:09 +0200
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-10-14 17:57:09 +0200
commit520420556ad9f2871cd8c5910645193508cb4082 (patch)
tree08efd34b6c9d3cc071b6c5345b213ec9f7f59dd5 /scripts/deploy
parent7ae2d8824ab59dfbda6eaf7f621b6d3bfdec56e7 (diff)
Use sandbox for testing Python programs
Use interpreter.py for running tests as well as interactive sessions. Signals are now sent with "sandbox <user> kill", so terminator is not needed anymore.
Diffstat (limited to 'scripts/deploy')
-rwxr-xr-xscripts/deploy/codeq_refresh_and_deploy.sh6
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/deploy/codeq_refresh_and_deploy.sh b/scripts/deploy/codeq_refresh_and_deploy.sh
index f0a0aeb..e44739b 100755
--- a/scripts/deploy/codeq_refresh_and_deploy.sh
+++ b/scripts/deploy/codeq_refresh_and_deploy.sh
@@ -36,10 +36,10 @@ if git diff --name-status origin/$CODEQ_GIT_BRANCH | cut -c3- | grep -v \\.gitig
BUILD_WEB_RESOURCES=1
fi
- # rebuild sandbox binaries if out of date
- for prog in python/runner/sandbox python/runner/terminator; do
+ # rebuild sandbox if out of date
+ for prog in python/runner/sandbox; do
if ! make -q "${prog}"; then
- make -s "${prog}" && setcap cap_setuid,cap_setgid+ep "${prog}"
+ make "${prog}" && setcap cap_setuid,cap_setgid+ep "${prog}"
fi
done