17 Commits

Author	SHA1	Message	Date
Daniel Martí	3fbe4cc8f2	config.buildserver.py: use new java_paths keys	2016-02-23 12:26:00 +00:00
Daniel Martí	87c7da03ee	Fix buildserver debian stable java paths	2015-11-07 18:23:30 +01:00
Daniel Martí	a4d1fa22f7	Install Java 1.8 alongside 1.7 for retrolambda ... Fixes #103.	2015-11-03 11:08:34 +01:00
Daniel Martí	bc70f78ef9	Remove default config settings from the BS	2015-08-20 09:48:12 -07:00
Daniel Martí	24f6cc604b	Always end config list items with a comma	2015-08-13 11:02:09 -07:00
Daniel Martí	52c2ca1fe7	Replace NDK r10d with r10e	2015-06-18 17:05:48 +02:00
Daniel Martí	e608975f78	Bump build-tools to 22.0.1	2015-06-18 16:56:56 +02:00
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