remove useless options for coverage
authorOlivier Matz <zer0@droids-corp.org>
Thu, 17 May 2018 17:43:44 +0000 (19:43 +0200)
committerOlivier Matz <zer0@droids-corp.org>
Thu, 17 May 2018 17:43:44 +0000 (19:43 +0200)
commit99d01b5264a346e500db66378d887c98017cd3f0
tree7246702960ddae7caa05b2b163ce0cba71c8a7ab
parent0d43999c983d74e1b1aad34630cce67e5c032e7d
remove useless options for coverage
lib/Makefile