Fix Windows binary-dist target
authorAustin Seipp <austin@well-typed.com>
Tue, 14 Jan 2014 08:31:31 +0000 (02:31 -0600)
committerAustin Seipp <austin@well-typed.com>
Tue, 14 Jan 2014 09:46:08 +0000 (03:46 -0600)
commitaae59319436966c90b7fd820bf5bfcdd38854b0d
treeb4031f50e83f63accdd0f1ce3049a0b04cd0895e
parentf73fc7d5e4003d628fd2b15bd4e48bae12dd8453
Fix Windows binary-dist target

I'm not entirely sure what the intention of this code was, but it was
quite old, and the binary distribution for Windows seems to work OK
nonetheless.

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