[gambit-list] problem building gambit

Marc Feeley feeley at iro.umontreal.ca
Mon Mar 17 13:11:57 EDT 2008


On 17-Mar-08, at 12:44 PM, Bradley Lucier wrote:

> Marc:
>
> Does the new sequence of operations for "make update" end with a  
> "make" or an "hg pull"?  It would probably be best if it ended with  
> a "make".

It now ends in a make.  I will add another target "update-nomake" that  
doesn't do an "hg pull" or a final "make" because in some cases you  
want more control over the pull and final make.

Marc




More information about the Gambit-list mailing list