diff --git a/.gitignore b/.gitignore
index db3b0831cb..eb210ca9fc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -390,6 +390,8 @@ tools/ocaml/xenstored/oxenstored
 tools/ocaml/test/xtl
 tools/ocaml/test/send_debug_keys
 tools/ocaml/test/list_domains
+tools/ocaml/test/dmesg
+tools/ocaml/test/raise_exception
 tools/debugger/kdd/kdd
 tools/firmware/etherboot/ipxe.tar.gz
 tools/firmware/etherboot/ipxe/