[darcs-devel] [darcs #344] darcs on w32 overflows stack,
won't allow adjustment
Tomasz Zielonka
tomasz.zielonka at gmail.com
Thu Apr 14 12:13:42 PDT 2005
On Thu, Apr 14, 2005 at 02:56:21PM -0400, zooko at zooko.com via RT wrote:
> darcs on w32, when I try to do a big push, says "stack overflow, try adjusting
> with +RTS -k..., currently size 8000016". When I pass "+RTS -kanything" it
> says the same thing including the same size 8000016. However, when I pass -?
> then it prints the usage string and exits immediately.
Does it really say "+RTS -k..."? It should be a capital K: "+RTS -K...".
Try this.
Best regards
Tomasz
More information about the darcs-devel
mailing list