Fix binary-dist target with xz/gzip

Authored by austin on Feb 28 2014, 4:28 PM.

Description

Fix binary-dist target with xz/gzip

This was harmless but annoying: we forgot to take the compression
extention into account when copying the binary dist out of bindistprep

Signed-off-by: Austin Seipp <austin@well-typed.com>

Details

Committed
austinFeb 28 2014, 4:28 PM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF71611523c25b: Documentation updates for 7.8.1 release
Branches
Unknown
Tags
Unknown