diff --git a/.gitmodules b/.gitmodules
index 63d4f5d14a..ab59a5984d 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "test"]
 	path = test
-	url = ../CompCert-small-tests
+	url = https://github.com/AbsInt/CompCert-small-tests