diff --git a/BitKeeper/etc/ignore b/BitKeeper/etc/ignore
index eecba61270..8d1f1e67c6 100644
--- a/BitKeeper/etc/ignore
+++ b/BitKeeper/etc/ignore
@@ -467,3 +467,4 @@ tools/internal/xi_list
 tools/internal/xi_usage
 tools/internal/xi_sched_domain
 tools/internal/xi_sched_global
+xen/arch/i386/nmi.o