martin 5c18a11ba1 Allow to set sanitizer flags for the rump build from the ... build.sh command line, like: -V RUMP_SANITIZE=address		2021-07-07 11:51:45 +00:00
..
Makefile	…
rump.halt.1	…
rump.halt.c	…