../../tests/dwarf-print.cc:40:24: error: print-die.hh: No such file
or
directory
Sigh. I'm very sorry about that. I stared at my 'git status' output four
separate times specifically to make sure I hadn't forgotten to add a file...
but somehow managed not to see it!
I was wrong to doubt you! But it's still not a good idea to do patch-up
pushes like that rather than just waiting for me to fix my commit before
you merge.
Thanks,
Roland