On Wed, Apr 18, 2012 at 2:45 PM, Lluís Vilanova <vilan...@ac.upc.edu> wrote:
> If not, I'll just drop it and instead simply replace calls to tracetool with
> "$(TRACETOOL)".

If you're willing to do this I would prefer it.

Thanks,
Stefan

Reply via email to