Merge pull request #585 from wernsaar/develop
authorwernsaar <wernsaar@googlemail.com>
Sun, 31 May 2015 13:01:54 +0000 (15:01 +0200)
committerwernsaar <wernsaar@googlemail.com>
Sun, 31 May 2015 13:01:54 +0000 (15:01 +0200)
bugfix for benchmark Makefile on MAC


Trivial merge