diff options
| author | Erich Eckner <git@eckner.net> | 2017-08-02 09:10:42 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-08-02 09:10:42 +0200 |
| commit | 741b08359ccf5cfacf4de1acf599b4cf88551a98 (patch) | |
| tree | 0cc6f0b92a56dc1278ce43f2202c7b55206d848a /conf/default.conf | |
| parent | 40ff3da46482c7a3992096a193bd4f704a65a120 (diff) | |
| download | builder-741b08359ccf5cfacf4de1acf599b4cf88551a98.tar.xz | |
bin/show-dependencies: move output directory variable to conf/default.conf
Diffstat (limited to 'conf/default.conf')
| -rwxr-xr-x | conf/default.conf | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/conf/default.conf b/conf/default.conf index ff47333..6e74bc6 100755 --- a/conf/default.conf +++ b/conf/default.conf @@ -51,6 +51,9 @@ straws_that_might_repair_failing_builds="$( ':with_build_support:clean_chroot:' )" +# where should dependency graphs be stored +graphs_directory='/srv/http/graphs' + # possibly pull in custom modifications [ -r "${base_dir}/conf/local.conf" ] && . "${base_dir}/conf/local.conf" |