Merge pull request #493 from prometheus/makefile_common
authorBen Kochie <superq@gmail.com>
Sun, 23 Jun 2019 06:39:45 +0000 (08:39 +0200)
committerGitHub <noreply@github.com>
Sun, 23 Jun 2019 06:39:45 +0000 (08:39 +0200)
Synchronize Makefile.common from prometheus/prometheus


Trivial merge