From 2f8870c188b25ccf6865f8820a02f53fdf6af41d Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@araneo.org>
Date: Sat, 10 Oct 2015 16:04:25 +0200
Subject: Rebuild sandbox binaries when deploying

---
 scripts/deploy/codeq_refresh_and_deploy.sh | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'scripts')

diff --git a/scripts/deploy/codeq_refresh_and_deploy.sh b/scripts/deploy/codeq_refresh_and_deploy.sh
index 57a23b2..f0a0aeb 100755
--- a/scripts/deploy/codeq_refresh_and_deploy.sh
+++ b/scripts/deploy/codeq_refresh_and_deploy.sh
@@ -36,6 +36,13 @@ 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
+        if ! make -q "${prog}"; then
+            make -s "${prog}" && setcap cap_setuid,cap_setgid+ep "${prog}"
+        fi
+    done
+
     if grep -q ^web/ $FILES | grep -v ^web/main.js; then
         # node dependencies may have changed, run installation
         cd web && /usr/bin/npm install
-- 
cgit v1.2.1