Michael Weber wrote:

> 
> You did set BIN_DIST=1 in mk/build.mk or when running `make', didn't you?
> 

   Oops, I did'nt read 4-06-notes so it seemed, sorry.
I wrongly assumed "make binary-dist project=Ghc" took care of it.

 Thanks,
    Sietse

Reply via email to