diff options
Diffstat (limited to 'misc/docker-build.sh')
| -rw-r--r-- | misc/docker-build.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/misc/docker-build.sh b/misc/docker-build.sh new file mode 100644 index 0000000..c478ab8 --- /dev/null +++ b/misc/docker-build.sh @@ -0,0 +1,12 @@ +#!/bin/bash +failed=0 + +USE_RESTCLIENT=1 USE_INTERNAL_LUA=1 make -j 2 || failed=1 + +if [[ $failed -eq 1 ]]; then + echo "Build failure." + exit $failed +fi + +./misc/download-paks.sh +chmod -R ugo+rw build |