> I just tested it, and it works fine.
Ok, I am curious. What does "gdb --statistics" look like?
In particular, the "Space used" line?
(gdb) file /bin/bash
Reading symbols from /bin/bash...(no debugging symbols found)...done.
Command execution time: 0.010000
Space used: 279516 (+69632 for this command)
Michael