diff options
author | Rustan Leino <unknown> | 2013-03-26 15:45:36 -0700 |
---|---|---|
committer | Rustan Leino <unknown> | 2013-03-26 15:45:36 -0700 |
commit | 129c8f145a87a3c2e21a8848a11608eb20a00004 (patch) | |
tree | 7fe12f9a696da2581e36b9cc720e07e84521d3d5 | |
parent | ecef1db108033fc46266e2978d3eea784cd950c3 (diff) |
Suppress compiler warnings about unreferenced labels (I hope all .NET platforms use the same number)
-rw-r--r-- | Source/DafnyDriver/DafnyDriver.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs index ecf2544c..d7063e8b 100644 --- a/Source/DafnyDriver/DafnyDriver.cs +++ b/Source/DafnyDriver/DafnyDriver.cs @@ -225,10 +225,10 @@ namespace Microsoft.Dafny cp.GenerateExecutable = true;
if (compiler.HasMain(dafnyProgram)) {
cp.OutputAssembly = Path.ChangeExtension(dafnyProgramName, "exe");
- cp.CompilerOptions = "/debug";
+ cp.CompilerOptions = "/debug /nowarn:0164"; // warning CS0164 complains about unreferenced labels
} else {
cp.OutputAssembly = Path.ChangeExtension(dafnyProgramName, "dll");
- cp.CompilerOptions = "/debug /target:library";
+ cp.CompilerOptions = "/debug /nowarn:0164 /target:library"; // warning CS0164 complains about unreferenced labels
}
cp.GenerateInMemory = false;
cp.ReferencedAssemblies.Add("System.Numerics.dll");
|