diff options
| author |  mikebarnett <unknown> | 2010-07-30 18:14:03 +0000 |
|---|---|---|
| committer | mikebarnett <unknown> | 2010-07-30 18:14:03 +0000 |
| commit | 8ae5fd2d34c8ab9df4b117fff434dcadb9506c86 (patch) | |
| tree | a24a4420018df9435b1ed66245b5ef0d3ab8cede /Source/Dafny | |
| parent | b8a3c4ebd639c1481e543fcba2dae7829dac42e4 (diff) | |
Sign both of the Dafny projects and have Dafny.exe get a version number as well.
Diffstat (limited to 'Source/Dafny')
| -rw-r--r-- | Source/Dafny/DafnyPipeline.sscproj | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Source/Dafny/DafnyPipeline.sscproj b/Source/Dafny/DafnyPipeline.sscproj index 3bbf5366..ba644870 100644 --- a/Source/Dafny/DafnyPipeline.sscproj +++ b/Source/Dafny/DafnyPipeline.sscproj @@ -135,6 +135,10 @@ SubType="Code"
RelPath="Compiler.ssc"
/>
+ <File BuildAction="Compile"
+ SubType="Code"
+ RelPath="AssemblyInfo.ssc"
+ />
</Include>
</Files>
</XEN>
|