Merge pull request #484 from prometheus/makefile_common
authorBen Kochie <superq@gmail.com>
Fri, 7 Jun 2019 06:57:14 +0000 (08:57 +0200)
committerGitHub <noreply@github.com>
Fri, 7 Jun 2019 06:57:14 +0000 (08:57 +0200)
Synchronize Makefile.common from prometheus/prometheus


Trivial merge