From: / <is...@ya...> - 2019-02-16 16:09:24
|
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 > |