diff options
| author | Erich Eckner <git@eckner.net> | 2018-03-20 14:35:12 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-03-20 14:35:12 +0100 |
| commit | b7f0199b15fb07d2532b12c627bf400783e7a115 (patch) | |
| tree | 5d5ba66f0050277acff1a0add3b1c445bff2a61f /conf/default.conf | |
| parent | 6b86012dc547b674b8a5c347850e6ec3698433ee (diff) | |
| download | builder-b7f0199b15fb07d2532b12c627bf400783e7a115.tar.xz | |
work/build-list.loops decomissioned
Diffstat (limited to 'conf/default.conf')
| -rwxr-xr-x | conf/default.conf | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/conf/default.conf b/conf/default.conf index 7e7ed3d..b508deb 100755 --- a/conf/default.conf +++ b/conf/default.conf @@ -135,7 +135,6 @@ fi mkdir -p "${work_dir}" touch "${work_dir}/build-list" touch "${work_dir}/deletion-list" -mkdir -p "${work_dir}/build-list.loops" for repo in ${repo_names}; do |