Ignore dirty submodules

google · Nov 30, 2020 · f8a6fb3 · f8a6fb3
1 parent 5f5f72b
commit f8a6fb3
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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