Can't this be achieved by checking out and building all relevant repos?
This could be scripted.
On 15 November 2013 04:43, Mircea Markus <mmarkus(a)redhat.com> wrote:
Hi guys,
Given all the compiling problems we had since we've split in multiple
github repos (server, stores and embedded) makes me think that the split
wasn't such a great idea after all( and that I was hmm, wrong). Shall we
move everything back into a single repo? We can still keep different CI
runs for cache stores, server etc, but at least all this builds will
compile everything.
wdyt?
Cheers,
--
Mircea Markus
Infinispan lead (
www.infinispan.org)
_______________________________________________
infinispan-dev mailing list
infinispan-dev(a)lists.jboss.org
https://lists.jboss.org/mailman/listinfo/infinispan-dev