diff options
| author | Erich Eckner <git@eckner.net> | 2019-06-24 15:08:30 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-06-24 15:08:30 +0200 |
| commit | b191127e68f221ea9ca0be98d899a45711cd2e82 (patch) | |
| tree | 0c238053666eff6266a52ed23405690bd937f12b /lib/load-configuration | |
| parent | 944ee949d4a7b548c5586fe144b33903e9b5b63f (diff) | |
| download | builder-b191127e68f221ea9ca0be98d899a45711cd2e82.tar.xz | |
add missing file modifications from 944ee949d4a7b548c5586fe144b33903e9b5b63f
Diffstat (limited to 'lib/load-configuration')
| -rwxr-xr-x | lib/load-configuration | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/load-configuration b/lib/load-configuration index 7fd627d..4ad31cf 100755 --- a/lib/load-configuration +++ b/lib/load-configuration @@ -83,6 +83,7 @@ straws_that_might_repair_failing_builds=$( printf '%s\n' \ ':mirrored_source:mirrored_source_by_hash:' \ ':clean_chroot:' \ + ':haskell_without_check:' \ ':with_build_support:' \ ':with_build_support:clean_chroot:' ) |