Merge pull request #472 from prometheus/makefile_common
authorBen Kochie <superq@gmail.com>
Tue, 7 May 2019 07:46:13 +0000 (09:46 +0200)
committerGitHub <noreply@github.com>
Tue, 7 May 2019 07:46:13 +0000 (09:46 +0200)
Synchronize Makefile.common from prometheus/prometheus


Trivial merge