2 commits

Author	SHA1	Message	Date
Austin Clements	951b77f7ec	Various fixes and improvements to printpcs ... Search for an addr2line that supports elf32-i386. Don't print the path of addr2line as a side-effect of which. Don't uselessly pipe "grep '^ '" to addr2line's stdin. Enable as many pretty-printing and otherwise helpful options as possible (this makes the output *much* more pleasant on modern addr2lines).	2012-08-24 14:51:52 -04:00
Frans Kaashoek	020acb4f10	For the convenience of students	2012-08-23 09:35:00 -04:00