Thanks for the suggestion, Kovid. In fact, it turned out to be some system problem. After I tried hitting Esc - no result - I had a look at the system monitor. It had one processor at 100%, and as I said, went for up to half an hour with no completion. Then I gave up for the night.
This morning, after a reboot, it was using all 8 processors in turn, and completed after about 2 minutes. Go figure. Linux rarely needs a restart to fix something.
|