index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2023-07-17 20:55:55 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2023-07-17 20:55:55 +0200 |
commit | 5b1d7ff5b9c42bed0bcdfcb42ff2f5bb799562fc (patch) | |
tree | c0442f48bbfdd8647a38226dd824997dba8e8b2b /conf/master.conf.example | |
parent | 92aa69da7bec790286857c836884be6b7986ce4d (diff) |
-rwxr-xr-x | conf/master.conf.example | 1 |
diff --git a/conf/master.conf.example b/conf/master.conf.example index 38419ef..5cf9c90 100755 --- a/conf/master.conf.example +++ b/conf/master.conf.example @@ -41,6 +41,7 @@ #build_list_lock_file="${work_dir}/build-list.lock" #check_mirrors_lock_file="${work_dir}/check-mirrors.lock" #harvest_commit_times_lock_file="${work_dir}/harvest-commit-times.lock" +#intentions_lock_file="${work_dir}/intentions.lock" #package_database_lock_file="${work_dir}/package-database.lock" #sanity_check_lock_file="${work_dir}/sanity-check.lock" #status_lock_file="${work_dir}/status.lock" |