Remove superfluous override directive in make check

Travis CI and OS X system make on 10.9.x at least don't have GNU make
>=3.82 which contains a parser enhancement that allows multiple
directives.

Signed-off-by: Gerd Flaig <gefla@pond.sub.org>
Here's why removing override is a good idea.  The variable assignment
should already override anything Make may find in its environment.
All "override" does is protect against unwise make arguments.

"info make" says:

    The `override' directive was not invented for escalation in the war
    between makefiles and command arguments.  It was invented so you can
    alter and add to values that the user specifies with command
    arguments.

Thus, override is ill-advised here.

Signed-off-by: Markus Armbruster <armbru@pond.sub.org>

diff --git a/Make.mk b/Make.mk
index d6cefbe05829b7e8247459dae609b1c11db2aef8..2cd5efc4a244e20f5f53e8839667476f3753ab68 100644 (file)
--- a/Make.mk
+++ b/Make.mk
@@ -251,8 +251,8 @@ dist: dist-source dist-client dist-info
 
 .PHONY: check check-accept _check
 check check-accept: _check
-check:        export override EMPIRE_CHECK_ACCEPT :=
-check-accept: export override EMPIRE_CHECK_ACCEPT := y
+check:        export EMPIRE_CHECK_ACCEPT :=
+check-accept: export EMPIRE_CHECK_ACCEPT := y
 _check: all
        @echo "Warning: test suite is immature and needs work." >&2
        $(srcdir)/tests/files-test $(srcdir)