Merge pull request #461 from prometheus/makefile_common
authorBen Kochie <superq@gmail.com>
Tue, 16 Apr 2019 08:50:19 +0000 (10:50 +0200)
committerGitHub <noreply@github.com>
Tue, 16 Apr 2019 08:50:19 +0000 (10:50 +0200)
Synchronize Makefile.common from prometheus/prometheus


Trivial merge