Merge pull request #3116 from alexrp/master
authorAlex Rønne Petersen <alex@alexrp.com>
Tue, 7 Jun 2016 01:35:36 +0000 (03:35 +0200)
committerAlex Rønne Petersen <alex@alexrp.com>
Tue, 7 Jun 2016 01:35:36 +0000 (03:35 +0200)
commit614e1a10e66b962d5bc59fe221e8d1c38a75abc7
tree88e9a1c300cd86b6c4e8d67b6f4dc7c24202cd22
parent326caca175748c5590e8dafc837d7e350b99e4b1
parentc5a914bcbc7b153c98856df684103309f799bc9f
Merge pull request #3116 from alexrp/master

Some improvements to the profiler makefile