diff options
| author | Greg Munn <greg@sgmunn.com> | 2016-04-25 22:32:29 +0300 |
|---|---|---|
| committer | Greg Munn <greg@sgmunn.com> | 2016-04-25 22:32:29 +0300 |
| commit | bfc16059297b27818daf0bc560437a7e80444e95 (patch) | |
| tree | 9d7e4e15d53ae53776c8ac59dadd811eec53cb57 | |
| parent | b4f39e9ffe695f75d2a6105c9b61dda4589a2124 (diff) | |
[Core] Make sure we refresh the FileInfo propertiesandroid-resource-designer-cs
When we get the timestamp information prior to executing the generator we need
to refresh the FileInfo object so that it reads the last write time at that moment.
If we don't we don't detect any file changes because FileInfo appears to lazily
load these values.
| -rw-r--r-- | main/src/core/MonoDevelop.Core/MonoDevelop.Projects/Project.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/main/src/core/MonoDevelop.Core/MonoDevelop.Projects/Project.cs b/main/src/core/MonoDevelop.Core/MonoDevelop.Projects/Project.cs index 5022465b24..434e1a58f7 100644 --- a/main/src/core/MonoDevelop.Core/MonoDevelop.Projects/Project.cs +++ b/main/src/core/MonoDevelop.Core/MonoDevelop.Projects/Project.cs @@ -378,6 +378,7 @@ namespace MonoDevelop.Projects foreach (var projectFile in projectFiles) { var info = new FileInfo (projectFile.FilePath); infoList.Add (info); + info.Refresh (); } return infoList; |