https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96388
--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> ---
> /usr/bin/time ./cc1 -quiet t.c 2>&1 | head -1 | awk '{ print $6 * 1 }'
35975
is the max RSS in kB. Guess subtracting the value for an empty compile
makes sense as well.
