valgrind on raspberrypi just seems almost totally useless/busted - so disable

Description

as of 2019-11-21, latest rasberry pi buster/debian release, valgrind just takes forever, and issues tons of error messages, and nothing useful.

Just disable for now.

Environment

None

Status

Assignee

Lewis Pringle

Reporter

Lewis Pringle

Labels

None

Components

Priority

Low
Configure