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 <[email protected]> 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 > [email protected] > https://lists.jboss.org/mailman/listinfo/infinispan-dev >
_______________________________________________ infinispan-dev mailing list [email protected] https://lists.jboss.org/mailman/listinfo/infinispan-dev
