Makefile: avoid timestamp updates to GIT-BUILD-OPTIONS
commita2d25ef07f0fd268ea69631266e2f51f0bae4e62
authorJeff King <peff@peff.net>
Fri, 29 May 2015 07:26:30 +0000 (29 03:26 -0400)
committerJunio C Hamano <gitster@pobox.com>
Fri, 29 May 2015 16:22:18 +0000 (29 09:22 -0700)
tree964ebeda06e2e5ddc47646157c451920baaa2a24
parente25c7cc146177a59f31ca07cdd094e0566e1e4be
Makefile: avoid timestamp updates to GIT-BUILD-OPTIONS

We force the GIT-BUILD-OPTIONS recipe to run every time
"make" is invoked. We must do this to catch new options
which may have come from the command-line or environment.

However, we actually update the file's timestamp each time
the recipe is run, whether anything changed or not. As a
result, any files which depend on it (for example, all of
the perl scripts, which need to know whether NO_PERL was
set) will be re-built every time.

Let's do our usual trick of writing to a tempfile, then
doing a "cmp || mv" to update the file only when something
changed.

Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Makefile