|
From: | Paul Eggert |
Subject: | Re: git pre-commit hook for merges (WAS: master has switched from Automake to GNU Make) |
Date: | Wed, 12 Apr 2017 23:11:52 -0700 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.8.0 |
Noam Postavsky wrote:
I wonder if it would be more convenient to control this by a ./configure option instead though.This all happens well before 'configure' is created.It does now, but does it need to?
It's better if './configure' does not mess with Git settings, yes. './configure' has always been intended to operate independently of whether the source is under version control, and to operate after all the autotools have been run to set things up.
[Prev in Thread] | Current Thread | [Next in Thread] |