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> (cherry picked from commit 025a66e7)
Please register or sign in to comment