request for timings - makedepend

[Zack Weinberg <zack at codesourcery dot com>]

I'd appreciate it if y'all would do the following sequence of commands
on your favorite machine:

srcdir=/path/to/gcc/source/tree/
$srcdir/configure
make all-libcpp configure-gcc
cd gcc
make config.h tm.h
time ../libcpp/makedepend -I. -I$srcdir/gcc -I$srcdir/libcpp/include \
     -I$srcdir/include \
     -V$srcdir/gcc:$srcdir/libcpp/include:$srcdir/include \
     $srcdir/gcc/*.c > depend

and report (a) the numbers reported by the "time" command, (b) what
sort of machine this is and how old, and (c) whether or not you would
be willing to trade that much additional delay in an edit-compile-debug 
cycle for not having to write dependencies manually anymore.

I do *not* want to see the "depend" file (but please don't use
/dev/null, as this may give unrealistic numbers).

For reference: I get 

real    0m14.108s
user    0m5.240s
sys     0m1.290s

and I am currently leaning toward 'too slow'.

Thanks,
zw