diff options
| author | Erich Eckner <git@eckner.net> | 2018-09-24 10:00:47 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-09-24 10:00:47 +0200 |
| commit | f437f2efab461bc527dd7341dae2452e95455966 (patch) | |
| tree | c93f3a7aaf9ee8878b98fbc2bca2fd5f526c7998 /lib | |
| parent | c3e4c542a81586cf7dc731a679d6caf904830278 (diff) | |
| download | builder-f437f2efab461bc527dd7341dae2452e95455966.tar.xz | |
bin/harvest-commit-times new
Diffstat (limited to 'lib')
| -rwxr-xr-x | lib/load-configuration | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/load-configuration b/lib/load-configuration index 4f6b26a..af3527d 100755 --- a/lib/load-configuration +++ b/lib/load-configuration @@ -136,6 +136,10 @@ if [ -z "${build_list_lock_file}" ]; then build_list_lock_file="${work_dir}/build-list.lock" fi +if [ -z "${harvest_commit_times_lock_file}" ]; then + harvest_commit_times_lock_file="${work_dir}/harvest-commit-times.lock" +fi + if [ -z "${package_database_lock_file}" ]; then package_database_lock_file="${work_dir}/package-database.lock" fi |