diff options
| author | Raja R Harinath <harinath@src.gnome.org> | 1999-03-29 00:15:02 +0000 |
|---|---|---|
| committer | Raja R Harinath <harinath@src.gnome.org> | 1999-03-29 00:15:02 +0000 |
| commit | 32f6e0a4ce7df5383b24dfde8de94e2176920fa3 (patch) | |
| tree | c8ba4c9f52d8c2c7283c90436cbdad524f0b3155 /ChangeLog | |
| parent | 55a5d2144de146f03e760a3bf5cef44d78f85524 (diff) | |
| download | gtk+-32f6e0a4ce7df5383b24dfde8de94e2176920fa3.tar.gz | |
Make sure `gdkconfig.h' exists after the rule is fired.
* gdk/Makefile.am (gdkconfig.h): Make sure `gdkconfig.h' exists
after the rule is fired.
(install-exec-local): Install gdkconfig.h only if the contents are
different from the currently installed gdkconfig.h.
Rationale:
`make install-exec' is meant to install files that go into
$exec_prefix, which includes `gdkconfig.h'. However, developers use
`make install-exec' when they know that none of the headers have
changed, to prevent needless recompiles of other packages. My
previous change of installing `*config.h' during `make install-exec'
undermines this, even though it is the right thing to do. So, in the
spirit of "do the right thing first, optimize later", here's the
optimization.
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -1,3 +1,10 @@ +1999-03-28 Raja R Harinath <harinath@cs.umn.edu> + + * gdk/Makefile.am (gdkconfig.h): Make sure `gdkconfig.h' exists + after the rule is fired. + (install-exec-local): Install gdkconfig.h only if the contents are + different from the currently installed gdkconfig.h. + 1999-03-26 Raja R Harinath <harinath@cs.umn.edu> * gdk/Makefile.am (configexecincludedir): Rename from |