My mistake, you are right, I had aliased valgrind to use
--undef-value-errors=no
thanks for your help and sorry for wasting your time.
andreas
On 16/02/19 17:55, Philippe Waroquiers wrote:
On Sat, 2019-02-16 at 17:49 +0200, / via Valgrind-users wrote:
valgrind: Unknown option: --undef-value-errors=no
valgrind: Use --help for more information or consult the user manual.
valgrind --help indicates:
...
Extra options read from ~/.valgrindrc, $VALGRIND_OPTS, ./.valgrindrc
So, I guess that you have this option --undef-value-errors=no in one of the
above.
Philippe
_______________________________________________
Valgrind-users mailing list
Valgrind-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/valgrind-users
