#include <fstream>
#include <ctime>
+#ifndef CXX_GLOBAL_CSTD
+using std::time;
+#endif
+
using std::make_pair;
using std::ofstream;
using std::ifstream;
// CRC value.
// The older one is effectively set to 0 upon re-load.
lyxerr << "Write dep: "
- << cit->first << " "
- << cit->second.crc_cur << " "
+ << cit->first << ' '
+ << cit->second.crc_cur << ' '
<< cit->second.mtime_cur << endl;
}
- ofs << cit->first << " "
- << cit->second.crc_cur << " "
+ ofs << cit->first << ' '
+ << cit->second.crc_cur << ' '
<< cit->second.mtime_cur << endl;
}
}
while (ifs >> nome >> di.crc_cur >> di.mtime_cur) {
if (lyxerr.debugging(Debug::DEPEND)) {
lyxerr << "Read dep: "
- << nome << " "
- << di.crc_cur << " "
+ << nome << ' '
+ << di.crc_cur << ' '
<< di.mtime_cur << endl;
}
deplist[nome] = di;