summaryrefslogtreecommitdiffstats
path: root/tools/build/jhbuildrc-custom-example
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--tools/build/jhbuildrc-custom-example18
1 files changed, 18 insertions, 0 deletions
diff --git a/tools/build/jhbuildrc-custom-example b/tools/build/jhbuildrc-custom-example
new file mode 100644
index 0000000..837d24e
--- /dev/null
+++ b/tools/build/jhbuildrc-custom-example
@@ -0,0 +1,18 @@
+# -*- mode: python -*-
+
+# The username for repositories can be overridden.
+#
+#repos["git.gnome.org"] = "ssh://myusername@git.gnome.org/git/"
+
+# Directory where to check sources out
+#
+#checkoutroot = '/opt/gnome-shell/source'
+
+# Directory where to install
+#
+#prefix = '/opt/gnome-shell/install'
+
+# Work around http://bugzilla.gnome.org/show_bug.cgi?id=571240 if
+# your 'install' program is somewhere other than /usr/bin/install
+# (affects: Arch Linux)
+#installprog = 'bin/install'