distrib: Fix binary distribution installation

Authored by bgamari on Oct 17 2019, 5:38 PM.

Description

distrib: Fix binary distribution installation

This had silently regressed due to 81860281 and the variable renaming performed
in b55ee979, as noted in Trac #17374.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Tue, Oct 29, 7:31 PM
Parents
rGHC72f7ac9ad66b: Revert "Replace freebsd-gnueabihf with freebsd"
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC3c0372d6bce9: distrib: Fix binary distribution installation (authored by bgamari).Tue, Oct 29, 7:31 PM