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)
commitc78b38801c8935c5185351ead4738295648887f6
tree79e7003a61eb4d50f8f3303687c5cf5fec8d2f17
parent7b225624f8f6abfe4668d8fd6f64cc2f48ad436c
parentffd7e5f627abc8ac2132af4958d9f9093d4b2e7b
Merge pull request #472 from prometheus/makefile_common

Synchronize Makefile.common from prometheus/prometheus