Build.rc.local

[autobuild.git] / Build.rc.local.example

diff --git a/Build.rc.local.example b/Build.rc.local.example
new file mode 100644 (file)
index 0000000..495eaa7
--- /dev/null
+++ b/Build.rc.local.example
@@ -0,0 +1,12 @@
+# -*- sh -*-
+# -----------------------------------------------------------------------------
+# Additional configuration file for ./Build
+# -----------------------------------------------------------------------------
+#
+# Build.rc.local is purely optional. When it exists, it is evaluated
+# after Build.rc to allow overriding some configurations in Build.rc.
+#
+# Please note that it is unsafe to override some configurations,
+# namely "setPrefix" and "setPath", as they affect other variables in
+# a non-predictable way.
+#