[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