Uh, and this might have something to do with the third last line of
the failing make being

gmake[1]: *** Deleting file `PGE.pbc'

Reply via email to