17 Mar
2008
17 Mar
'08
13:11
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