diff --git a/.gitmodules b/.gitmodules index 9954895f286b..84dd7bd8061c 100644 --- a/.gitmodules +++ b/.gitmodules @@ -44,3 +44,6 @@ path = community-build/community-projects/shapeless url = https://github.com/milessabin/shapeless branch = shapeless-3 +[submodule "community-build/community-projects/xml-interpolator"] + path = community-build/community-projects/xml-interpolator + url = https://github.com/lampepfl/xml-interpolator.git diff --git a/community-build/community-projects/xml-interpolator b/community-build/community-projects/xml-interpolator new file mode 160000 index 000000000000..7232e3df7bf4 --- /dev/null +++ b/community-build/community-projects/xml-interpolator @@ -0,0 +1 @@ +Subproject commit 7232e3df7bf428c7c7cd202b47af94f623f21c19 diff --git a/community-build/test/scala/dotty/communitybuild/CommunityBuildTest.scala b/community-build/test/scala/dotty/communitybuild/CommunityBuildTest.scala index 8922466503a8..96be762abae9 100644 --- a/community-build/test/scala/dotty/communitybuild/CommunityBuildTest.scala +++ b/community-build/test/scala/dotty/communitybuild/CommunityBuildTest.scala @@ -177,6 +177,12 @@ class CommunityBuildTest { updateCommand = "update" ) + @Test def xmlInterpolator = test( + project = "xml-interpolator", + testCommand = "test", + updateCommand = "update" + ) + // TODO @oderky? It got broken by #5458 // @Test def pdbp = test( // project = "pdbp",