Add "+RTS -N" to determine the -N value automatically (see #1741)
authorSimon Marlow <marlowsd@gmail.com>
Fri, 13 Mar 2009 11:46:46 +0000 (11:46 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Fri, 13 Mar 2009 11:46:46 +0000 (11:46 +0000)
commit3b5940fd32df31b56c1ab6891b0a8f338e796049
tree5e3dc646c39aa082dc97a6e1e8452f84b554fc93
parent8815f0c06c1dcea2ecca14c98f0972ea9ed29d51
Add "+RTS -N" to determine the -N value automatically (see #1741)
docs/users_guide/using.xml
rts/RtsFlags.c