From 224415775cec5fdb2befea6d085e91d12b311132 Mon Sep 17 00:00:00 2001
From: Nicholas Nethercote <nnethercote@mozilla.com>
Date: Wed, 2 Jan 2013 17:20:47 -0800
Subject: [PATCH] Bug 825820 - Call WarningsDatabase.prune at the end of
 Build().  r=gps.

--HG--
extra : rebase_source : aefe3d3e1e3f5edacbb83bb0c44031c1cfb200a1
---
 python/mozbuild/mozbuild/mach_commands.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/python/mozbuild/mozbuild/mach_commands.py b/python/mozbuild/mozbuild/mach_commands.py
index e9c33130f638..9cdd05cda7b8 100644
--- a/python/mozbuild/mozbuild/mach_commands.py
+++ b/python/mozbuild/mozbuild/mach_commands.py
@@ -57,6 +57,8 @@ class Build(MachCommandBase):
             {'count': len(warnings_collector.database)},
             '{count} compiler warnings present.')
 
+        warnings_database.prune()
+
         warnings_database.save_to_file(warnings_path)
 
         return status