make: Fix bindist installation

Authored by bgamari on Thu, May 30, 10:33 AM.

Description

make: Fix bindist installation

This fixes a few vestigial references to settings left over from !655.
Fixes Trac #16715.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Tue, Jun 4, 1:42 PM
Parents
rGHC3ecc03df3b77: gitlab-ci: Run bindisttest during CI
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCc16f3297401f: make: Fix bindist installation (authored by bgamari).Tue, Jun 4, 1:42 PM