Updating default.xml

seL4 · Aug 29, 2023 · e0741df · e0741df
1 parent 8bbef04
commit e0741df
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/default.xml b/default.xml
@@ -22,7 +22,7 @@
   </project>
   <project name="sel4_projects_libs" path="projects/sel4_projects_libs" revision="82e0e3f85e7f8b403388e7d7a894ab583b6c8a8a" upstream="master" dest-branch="master"/>
   <project name="sel4runtime.git" path="projects/sel4runtime" revision="d935dd05da0cf959e9fd0140af913dc6fdaa0221" upstream="master" dest-branch="master"/>
-  <project name="sel4test.git" path="projects/sel4test" revision="a188dbbf55e768f881359ec1135c0a6d49a038f0" upstream="master" dest-branch="master">
+  <project name="sel4test.git" path="projects/sel4test" revision="a4ef8fc880aabffbf67b177e427916f98faebafd" upstream="master" dest-branch="master">
     <linkfile src="easy-settings.cmake" dest="easy-settings.cmake"/>
   </project>
   <project name="util_libs.git" path="projects/util_libs" revision="dba244d4c82905fc3883e0602b1d8e53124e0577" upstream="master" dest-branch="master"/>