diff options
| author | Nico Weber <nicolasweber@gmx.de> | 2017-06-19 19:42:34 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-19 19:42:34 (GMT) |
| commit | 61e347ed4e1c7681b6fd2888880ec0546907e9af (patch) | |
| tree | 361a3f2212d949cb581b5dd899da295e7fcc623d | |
| parent | 1029064057fceb3638ac0b28f586a66f93169aaf (diff) | |
| parent | b34f744ac3c8276a854b134d41c28d84664c7e7f (diff) | |
| download | Ninja-61e347ed4e1c7681b6fd2888880ec0546907e9af.zip Ninja-61e347ed4e1c7681b6fd2888880ec0546907e9af.tar.gz Ninja-61e347ed4e1c7681b6fd2888880ec0546907e9af.tar.bz2 | |
Merge pull request #1292 from gtristan/work-around-zero-mtime
Work around mtime being set to 0 sometimes
| -rw-r--r-- | src/disk_interface.cc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/disk_interface.cc b/src/disk_interface.cc index b418e04..28530b1 100644 --- a/src/disk_interface.cc +++ b/src/disk_interface.cc @@ -187,6 +187,11 @@ TimeStamp RealDiskInterface::Stat(const string& path, string* err) const { *err = "stat(" + path + "): " + strerror(errno); return -1; } + // Some users (Flatpak) set mtime to 0, this should be harmless + // and avoids conflicting with our return value of 0 meaning + // that it doesn't exist. + if (st.st_mtime == 0) + return 1; return st.st_mtime; #endif } |