tools/builder/Main.cs
changeset 2256 de422b59bdfc
parent 1952 b7aa2b626807
child 2259 278850958494
     1.1 --- a/tools/builder/Main.cs	Sat Sep 06 08:35:27 2008 +0000
     1.2 +++ b/tools/builder/Main.cs	Sat Sep 06 09:12:21 2008 +0000
     1.3 @@ -44,6 +44,7 @@
     1.4  			catch (System.Exception e) 
     1.5  			{
     1.6  				Console.WriteLine("Build failed: " + e.Message);
     1.7 +                Environment.Exit(1);
     1.8  			}
     1.9  		}
    1.10  	}