From 520420556ad9f2871cd8c5910645193508cb4082 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Wed, 14 Oct 2015 17:57:09 +0200 Subject: Use sandbox for testing Python programs Use interpreter.py for running tests as well as interactive sessions. Signals are now sent with "sandbox kill", so terminator is not needed anymore. --- scripts/deploy/codeq_refresh_and_deploy.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'scripts/deploy/codeq_refresh_and_deploy.sh') 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 -- cgit v1.2.1