debian/rules: Combine shared Make args
authorElliott Mitchell <ehem+debian@m5p.com>
Fri, 17 Jul 2020 02:07:31 +0000 (19:07 -0700)
committerHans van Kranenburg <hans@knorrie.org>
Fri, 18 Sep 2020 16:29:59 +0000 (18:29 +0200)
commitaf30268ed73397d24acaee83477ff555a43df5e4
treeee685d89fddc4411e079a255492c40b1e29c8535
parentbea4d2d63eed34d4380670353395c56974c329f4
debian/rules: Combine shared Make args

The original author of debian/rules seemed to have planned to make use
of $(make_args_common), but never got to sharing combined values.  Since
some values are shareable, make use of the shared args.

Signed-off-by: Elliott Mitchell <ehem+debian@m5p.com>
Reviewed-by: Ian Jackson <iwj@xenproject.org>
debian/rules