Fix a memory allocation bug (rts_argv wasn't big enough)
authorSimon Marlow <marlowsd@gmail.com>
Wed, 14 Dec 2011 10:42:47 +0000 (10:42 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Wed, 14 Dec 2011 10:49:43 +0000 (10:49 +0000)
commitdff852b1b65d07a4a400d3f20c854172c8fcecaf
tree528e05df92d9e51dea1255056bc5c8992b0bac06
parentac051fc05f6aab261d56d22261f4cb9c2cb1f474
Fix a memory allocation bug (rts_argv wasn't big enough)
rts/RtsFlags.c