diff options
author | Rustan Leino <leino@microsoft.com> | 2016-02-12 16:47:51 -0800 |
---|---|---|
committer | Rustan Leino <leino@microsoft.com> | 2016-02-12 16:47:51 -0800 |
commit | 7ce69481c0b6af79a6d6542989832cd90fc5690f (patch) | |
tree | a91488b8ad92bc69718f2d5fda1d44082a3959de /Build/updateVersionFile.xml | |
parent | abee810ceedbf551194788164fdf723edc511c0c (diff) | |
parent | 5fb565e439255ede7dc3653708af41678b6c1062 (diff) |
Merge branch 'master' of https://github.com/boogie-org/boogie
Diffstat (limited to 'Build/updateVersionFile.xml')
-rw-r--r-- | Build/updateVersionFile.xml | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/Build/updateVersionFile.xml b/Build/updateVersionFile.xml deleted file mode 100644 index cb083c7a..00000000 --- a/Build/updateVersionFile.xml +++ /dev/null @@ -1,19 +0,0 @@ -<Project xmlns="http://schemas.microsoft.com/developer/msbuild/2003"> - <UsingTask AssemblyFile="CodePlex.Tools.MsBuild.dll" TaskName="CreateAssemblyInfo" /> - - <Target Name="CreateAssemblyInfo"> - <CreateAssemblyInfo - Version="$(CCNetLabel)" - CreateVersionFile="true" - ForceReadOnly="true" - VersionFileName="..\Source\version.ssc" - /> - <CreateAssemblyInfo - Version="$(CCNetLabel)" - CreateVersionFile="true" - ForceReadOnly="true" - VersionFileName="..\Source\version.cs" - /> - </Target> -</Project> - |