diff --git a/.gitmodules b/.gitmodules
index b70a516..273601b 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,6 +1,8 @@
 [submodule "third_party/libtock-rs"]
 	path = third_party/libtock-rs
 	url = https://github.com/tock/libtock-rs
+	ignore = dirty
 [submodule "third_party/tock"]
 	path = third_party/tock
 	url = https://github.com/tock/tock
+	ignore = dirty