diff options
| author | stijn <stijn@ignitron.net> | 2017-03-22 10:54:40 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2017-03-23 15:49:57 +1100 |
| commit | 3f3df435014cc835ce9357e15ddb8996c5866f43 (patch) | |
| tree | 5d4cc88e8b8e33814cbc8df8a5c36f39542b411c | |
| parent | c61131380da73221a6590f7898d68b35a8450891 (diff) | |
| download | micropython-3f3df435014cc835ce9357e15ddb8996c5866f43.tar.gz micropython-3f3df435014cc835ce9357e15ddb8996c5866f43.zip | |
msvc: Remove directory with generated files when cleaning.
This assures after cleaning all build artefacts (qstr related files,
generated version header) have been removed.
| -rw-r--r-- | windows/msvc/genhdr.targets | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/windows/msvc/genhdr.targets b/windows/msvc/genhdr.targets index 8c2ba8eb21..afe5f5d765 100644 --- a/windows/msvc/genhdr.targets +++ b/windows/msvc/genhdr.targets @@ -87,6 +87,10 @@ using(var outFile = System.IO.File.CreateText(OutputFile)) { <MSBuild Projects="$(MSBuildThisFileFullPath)" Targets="CopyFileIfDifferent" Properties="SourceFile=$(TmpFile);DestFile=$(DestFile)"/> </Target> + <Target Name="RemoveGeneratedFiles" AfterTargets="Clean"> + <RemoveDir Directories="$(DestDir)"/> + </Target> + <!--Copies SourceFile to DestFile only if SourceFile's content differs from DestFile's. We use this to 'touch' the generated files only when they are really newer so a build is only triggered if the generated content actually changed, |