[news.eclipse.technology.linuxtools] Re: Valgrid issues on Ubuntu

[Elliott Baron <ebaron@xxxxxxxxxx>]

Hi Henrik,

Henrik Jespersen wrote:
> Hi there, could you please tell me how you did the wrapper? I'm having 
> the same startup issue as you did. Unfortunately it seems that the bug 
> hasn't been fixed yet.

There will be a 0.2.1 release soon to specifically address this issue.

As for a wrapper, you could rename your valgrind binary and replace it 
with something like this:

#!/bin/bash

if [ $1 == '--version' ]; then
  echo 'valgrind-3.4.0'
else
  exec /usr/bin/valgrind.bak "$@"
fi

Of course replace 3.4.0 with whatever your version happens to be.

Thanks,
Elliott