10 Commits

Author	SHA1	Message	Date
Daniel Martí	45925c6816	Forgot to bump build_tools in the configs	2015-03-24 21:36:42 +01:00
Daniel Martí	f60f1bc59e	Add NDK r10d, this time alongside r9b ... Specified per-build with ndk=<version> defaulting to the oldest, r9b.	2015-01-03 00:07:01 +01:00
Daniel Martí	16601a0be3	Bump build-tools again to 21.1.2	2014-12-12 12:57:12 +01:00
Daniel Martí	aaf36f654d	Update build-tools to 21.1.1	2014-12-12 12:40:09 +01:00
Daniel Martí	fa465e2428	Forgot to bump the build tools in the server config	2014-10-23 15:21:07 +02:00
Daniel Martí	cbdcdd1e78	Update build-tools to 20.0.0	2014-06-30 17:03:16 +02:00
Daniel Martí	a50e6dbfbd	Update sdk and build-tools	2014-06-11 22:48:12 +02:00
Daniel Martí	13c79e8e46	Fix buildserver build_tools version	2014-03-11 17:37:42 +01:00
Daniel Martí	858f89e3ac	Update build-tools to 19.0.2	2014-02-23 12:21:28 +01:00
Daniel Martí	f6f23030e2	Move config.buildserver.py into buildserver subdir	2014-02-17 19:16:14 +01:00