I have a script I call u that performs a cd ~/.build/vim/vim
hg pull 2>&1 >> ../update.log I'm also on suse 12.1 -- small world sc >________________________________ > From: Tony Mechelynck <[email protected]> >To: [email protected] >Sent: Friday, February 1, 2013 5:40 AM >Subject: Re: Patch 7.3.798 > >On 01/02/13 02:48, toothpik wrote: >> for me, version.c was not updated when I pulled this update -- I didn't >> expect much since I don't build >> for mzscheme, but at least version should have updated >> >> sc > >Neither do I (the script I source before building includes the line > >export CONF_OPT_MZSCHEME='--disable-mzschemeinterp' > >), but for me it was. There was a change to version.c in the patch as >published by email, and the same change is present in the Mercurial >repository, as I just checked by doing > > hg diff -r v7-3-797 -r v7-3-798 > >and scrolling to the bottom. How do you update your Vim source? (I do it by >Mercurial, see > >http://vim.wikia.com/wiki/Getting_the_Vim_source_with_Mercurial > >). > >Oh, and BTW, on which OS are you? (I'm on openSUSE Linux 12.1 x86_64) > > >Best regards, >Tony. >-- I can read your mind, and you should be ashamed of yourself. > >-- -- You received this message from the "vim_dev" maillist. >Do not top-post! Type your reply below the text you are replying to. >For more information, visit http://www.vim.org/maillist.php > >--- You received this message because you are subscribed to the Google Groups >"vim_dev" group. >To unsubscribe from this group and stop receiving emails from it, send an >email to [email protected]. >For more options, visit https://groups.google.com/groups/opt_out. > > > > > -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
