build.py: make the build server configurable
-rw-r--r-- 24 .gitignore
-rwxr-xr-x 2607 build.py
-rwxr-xr-x 1339 build.sh
-rw-r--r-- 1372 common.py
-rwxr-xr-x 15792 depcheck.py
-rw-r--r-- 1179 schema.sql