Don't include settings file in binary distribution

Authored by bgamari on Oct 17 2019, 6:33 PM.

Description

Don't include settings file in binary distribution

The configuration in the installation environment (as determined by
autoconf) may differ from the build environment and therefore we
need to be sure to rebuild the settings file.

Fixes Trac #17374.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Tue, Oct 29, 7:31 PM
Parents
rGHCa7f423eedf79: gitlab-ci: Use pxz to compress binary distributions
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCdb6026433581: Don't include settings file in binary distribution (authored by bgamari).Tue, Oct 29, 7:31 PM