Commit 6715a7519bb26a9063aec92cd44d77ddf0fe4be9

Stefan Sperling 2018-03-16T21:08:22

allow a profiled build with 'make PROFILE=yes'