Re: [sage-devel] Re: git merge: good practice

2014-04-24 Thread kcrisman
On Thursday, April 24, 2014 12:43:05 AM UTC-4, Robert Bradshaw wrote: > > Also, ccache is your friend if you want to cut compile times a lot > here (and elsewhere). > > With regard to which, see http://trac.sagemath.org/ticket/14372 for the opportunity to actually document this somewhere in th

Re: [sage-devel] Re: git merge: good practice

2014-04-23 Thread Robert Bradshaw
Also, ccache is your friend if you want to cut compile times a lot here (and elsewhere). On Wed, Apr 23, 2014 at 2:46 PM, Nathann Cohen wrote: > If it can help, here is my "gtmp" function : > > function gtmp > { > cd ~/sage > git checkout d > git branch -D tmp > git checkout -b tm

Re: [sage-devel] Re: git merge: good practice

2014-04-23 Thread Nathann Cohen
If it can help, here is my "gtmp" function : function gtmp { cd ~/sage git checkout d git branch -D tmp git checkout -b tmp d && git pull trac "$1" } gtmp public/whatever fetches the branches and merges it with the develop branch (named d on my computer). No pain involved, no

Re: [sage-devel] Re: git merge: good practice

2014-04-23 Thread Vincent Delecroix
I see. Thanks Volker. Are there any concrete plans for making the build system better ? -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@goo