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
