1 files changed, 1 insertions, 0 deletions
diff --git a/.hgignore b/.hgignore
index 17b24787de..fb16719e24 100644
--- a/.hgignore
+++ b/.hgignore
@@ -99,6 +99,7 @@
 ^stubdom/pciutils-.*$
 ^stubdom/zlib-.*$
 ^stubdom/grub-.*$
+^stubdom/ocaml-.*$
 ^stubdom/lwip/
 ^stubdom/ioemu/
 ^tools/.*/build/lib.*/.*\.py$