On Wed, Apr 18, 2012 at 2:45 PM, Lluís Vilanova <[email protected]> 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 <[email protected]> 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