4 commits

Author	SHA1	Message	Date
Ryan C. Gordon	6123f15e77	Raspberry Pi builds should upload as .tar.xz instead of .tar.bz2. ... Makes the archive about 40-50% smaller!	2014-03-28 09:59:32 -04:00
Ryan C. Gordon	ea333d2e6b	Turn off Mir support in the buildbot Raspberry Pi script.	2014-03-10 00:26:40 -04:00
Ryan C. Gordon	45f785f0af	Enable ccache for Raspberry Pi buildbot script.	2013-12-15 00:21:42 -05:00
Gabriel Jacobo	f848adff5f	Improve Android pause/resume behavior.	2013-11-29 10:06:08 -03:00