Re: git merge and generated files?

From: Date: Wed, 28 Mar 2012 01:01:56 +0000
Subject: Re: git merge and generated files?
References: 1 2 3 4  Groups: php.internals 
Request: Send a blank email to [email protected] to get a copy of this message
Hi,

2012/3/28 Stas Malyshev <[email protected]>:
> Hi!
>
>>> Why would these change every 2nd commit? These only should change when
>>> you change the scanner, which happens very rarely.
>>
>> It depends what you do, but still annoying when it happens.
>>
>> But that does not answer the question...
>
> Looking at the patch, it looks like yours and git's line endings did not
> match, which may have caused the conflict. I think it'd be also the best
> to resolve such conflicts by leaving the files as-is, maybe just by
> using git reset or using git mergetool and choosing the "old" variant.
> Depending on the system mergetool would use different tools so I'm not
> sure which one would be best on yours. I usually just use mergetool,
> mark every change to resolve to "old" variant and that cleans up the
> commit.

Besides the line ending problem, it's annoying when we're working
on single work dir. All developers should have required build tools.

How about remove generated C files from repository?

These files are only needed for released versions, I suppose.
We still compare generated C files against released versions
and this would be sufficient for most developers.

Regards,

--
Yasuo Ohgaki
[email protected]


Thread (9 messages)

« previous php.internals (#59193) next »