- // FIXME: Find out whether onlyFilename() is really needed,
- // or whether makeAbsPath(onlyFilename()) is a noop here
- FileName const tmp(makeAbsPath(onlyFilename(changeExtension(file, ".log"))));
+ // FIXME: Find out whether onlyFileName() is really needed,
+ // or whether makeAbsPath(onlyFileName()) is a noop here
+ FileName const tmp(makeAbsPath(onlyFileName(changeExtension(file, ".log"))));