[PATCH] Tweak "make big" to catch if bigd/ already exists

Štěpán Němec stepnem at gmail.com
Sun Feb 6 22:14:16 CET 2011


Trevor Murphy <trevor.m.murphy at gmail.com> writes:

> Hi, all. Please bear with me, as I'm still fairly green to vimpulse,
> git, git send-email, and what have you.
>
> I prefer to use the 'make big' option. However, I can't do a 'git
> pull; make big' to get myself up to date. Make complains that the bigd
> directory already exists.
>
> Attached is a patch to fix that in the obvious way. But I feel like I
> must be missing something.
>
> Surely other people would have encountered this by now if they also
> used the big file. Am I missing the compelling reason to avoid using
> it?

Indeed. What you're probably missing is `make clean', which removes the
BIGDIR and its contents.

That being said, I see nothing really wrong in making the change you
propose, either.

--- a tangent note ---
At the time I wrote the target I hoped we would get rid of the big file
version for good soon, but last time I brought that up Vegard disagreed.

A few weeks ago my long-term grudge against Viper finally made me hack up
a simple vimmy mode that does exactly what I want and nothing more, so I
stopped using Vimpulse, too.
--- a tangent note ---

So I'll let Vegard handle this I think. :-)

  Štěpán



More information about the implementations-list mailing list