]> git.pond.sub.org Git - empserver/commit
Remove superfluous override directive in make check
authorGerd Flaig <gefla@pond.sub.org>
Fri, 2 Jan 2015 18:29:41 +0000 (19:29 +0100)
committerMarkus Armbruster <armbru@pond.sub.org>
Wed, 14 Jan 2015 18:01:40 +0000 (19:01 +0100)
commitda400d4fe7f8071a7f80b2e56936665552945062
tree1259f6ed9ead83d399a2cf9653a2dbd4ee19a68f
parent990b246b868b155ec835e2fbc4c1c2241ee6805d
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>
Make.mk