Cedric Roux bd50539fda Revert "instrument X using gcc's -finstrument-functions" ...

This reverts commit 4911b107da.

The idea was to keep the stuff in the git history.

2016-05-01 14:13:15 +02:00

..

utils

Revert "instrument X using gcc's -finstrument-functions"

2016-05-01 14:13:15 +02:00