Fix binary-dist target with xz/gzip
authorAustin Seipp <austin@well-typed.com>
Fri, 28 Feb 2014 22:28:28 +0000 (16:28 -0600)
committerAustin Seipp <austin@well-typed.com>
Fri, 28 Feb 2014 22:28:29 +0000 (16:28 -0600)
commit025a66e7fc416ab9ee1df56ad26dfe6232d32900
tree0b92d0b0c04ddc88c018165d84b96103a871c9a8
parent71611523c25bb89b81e789d5a2dd3d5d9754b025
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>
Makefile