builddir: genode world in optional repositories

2016-04-11 12:25:56 +02:00
parent 3e1fa54c61
commit 98b9a24357
1 changed files with 8 additions and 0 deletions
--- a/tool/builddir/etc/build.conf.optional
+++ b/tool/builddir/etc/build.conf.optional
@@ -34,3 +34,11 @@
 # The 'gems' repository depends on 'libc' and 'libports'.
 #
 #REPOSITORIES += $(GENODE_DIR)/repos/gems
+
+#
+# Genode world repository
+#
+# Collection of community-maintained components available at
+# https://github.com/genodelabs/genode-world.git
+#
+#REPOSITORIES += $(GENODE_DIR)/repos/world