Fix the non-gsharedvt build.
authorZoltan Varga <vargaz@gmail.com>
Tue, 5 Feb 2013 19:54:15 +0000 (20:54 +0100)
committerZoltan Varga <vargaz@gmail.com>
Tue, 5 Feb 2013 19:54:15 +0000 (20:54 +0100)
commitb2667eaffef28a385073d057fd7952cee0af2c38
tree926b3596ecce073f09b48188ca76bc87bdfd1bf6
parent16be17274201abcefce6e64f3f6cc25ebcf6b9db
Fix the non-gsharedvt build.
mono/mini/mini.c