7 Commits

Author	SHA1	Message	Date
Federico Fissore	eaf4db5da8	Updated build_pull_request.bash	2015-02-03 15:50:50 +01:00
Federico Fissore	3303774844	build.xml and mac. Change in platform names: macosx now macosxnew, oldmacosx now macosx	2015-02-03 11:53:48 +01:00
Federico Fissore	7f6cf5d7ef	build_pull_requests now builds oldmacosx as well	2015-02-02 09:54:08 +01:00
Federico Fissore	d61568a8be	build_pull_requests now moves the artifacts to the parent folder: this allows calling "clean" target before each build	2015-02-02 09:51:49 +01:00
Federico Fissore	a62dcc2804	PR Autobuild: removed useless final echos	2014-08-25 18:19:05 +02:00
Federico Fissore	b12e659c7c	PR Autobuild: fixed artifact name	2014-08-25 18:18:03 +02:00
Federico Fissore	a5ea0a9d01	Script used by the Jenkins Github Pull Request Builder plugin	2014-08-25 18:00:25 +02:00