diff options
| author | Erich Eckner <git@eckner.net> | 2018-03-22 15:42:11 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-03-22 15:42:11 +0100 |
| commit | b3023cfe9c2d4e8319885e22a575bd1a522b3f6c (patch) | |
| tree | f96b1af874fc8c359c7f82a8370776d62d1f065d /conf | |
| parent | d22efbc22053a482c6d1b9f264b12d54f509508c (diff) | |
| download | builder-b3023cfe9c2d4e8319885e22a575bd1a522b3f6c.tar.xz | |
decommission build-list file
Diffstat (limited to '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 b508deb..e8e0169 100755 --- a/conf/default.conf +++ b/conf/default.conf @@ -133,7 +133,6 @@ if [ -z "${package_database_lock_file}" ]; then fi mkdir -p "${work_dir}" -touch "${work_dir}/build-list" touch "${work_dir}/deletion-list" for repo in ${repo_names}; do |