1 files changed, 15 insertions, 0 deletions
diff --git a/.tools/jobs/build.sh b/.tools/jobs/build.sh
new file mode 100755
index 000000000..8b57f711f
--- /dev/null
+++ b/.tools/jobs/build.sh
@@ -0,0 +1,15 @@
+#!/bin/bash
+
+export LOGFILE=gcc6.log
+
+source ./.tools/scripts/init.sh
+
+pwd
+cd ..
+
+build_init
+
+cd server-code
+check_error $?
+
+make_server "$1" "$2"