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
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