Use absolute URL for test/ module

xavierleroy · xavierleroy · commit 330dd44c077e · 2024-05-01T19:42:42.000+02:00
Shoudl work better with private clones of this repository.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "test"]
 	path = test
-	url = ../CompCert-small-tests
+	url = https://github.com/AbsInt/CompCert-small-tests
