diff options
| -rw-r--r-- | mcs/class/Microsoft.Build/Microsoft.Build.Internal/BuildNodeManager.cs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/mcs/class/Microsoft.Build/Microsoft.Build.Internal/BuildNodeManager.cs b/mcs/class/Microsoft.Build/Microsoft.Build.Internal/BuildNodeManager.cs index 322006a4e84..135734fb030 100644 --- a/mcs/class/Microsoft.Build/Microsoft.Build.Internal/BuildNodeManager.cs +++ b/mcs/class/Microsoft.Build/Microsoft.Build.Internal/BuildNodeManager.cs @@ -80,6 +80,9 @@ namespace Microsoft.Build.Internal if (!queued_builds.TryDequeue (out build)) continue; StartOneBuild (build); + } catch (ThreadAbortException) { + // do nothing + break; } catch (Exception ex) { // FIXME: I guess INodeLogger should be used instead. Console.Error.WriteLine ("Uncaught build node exception occured"); |