Pavel Sanda wrote:
Yes. Probably makeAbsPath() has to be fixed too, just in case.makeAbsPath works as documented; changing it can break something elsewhere(?).
I mean that makeAbsPath() should make sure that the passed filename is not empty:
FileName makeAbsPath(string fname) { if (fname.empty()) return FileName(); ... } Abdel.