|
| 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 18:49:15 -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 could be an autogen.sh option, I suppose.
| [Prev in Thread] | Current Thread | [Next in Thread] |