diff options
| author | Saulc <lucashelaine14@gmail.com> | 2018-01-13 20:50:42 +0100 |
|---|---|---|
| committer | Saulc <lucashelaine14@gmail.com> | 2018-01-13 20:50:42 +0100 |
| commit | 20df2abc1aca00d6aa5dc78347133890f36b32f3 (patch) | |
| tree | 4ad4a8bb8b0605473a702e314799a4626347721a /.tools/jobs/build.sh | |
| download | serverdata-20df2abc1aca00d6aa5dc78347133890f36b32f3.tar.gz serverdata-20df2abc1aca00d6aa5dc78347133890f36b32f3.tar.bz2 serverdata-20df2abc1aca00d6aa5dc78347133890f36b32f3.tar.xz serverdata-20df2abc1aca00d6aa5dc78347133890f36b32f3.zip | |
Initial commit
Diffstat (limited to '.tools/jobs/build.sh')
| -rwxr-xr-x | .tools/jobs/build.sh | 15 |
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" |