1
0

fix bug in htif_fini, need to use vc_handle!

This commit is contained in:
Yunsup Lee 2014-03-18 01:35:08 -07:00
parent 0d124d283a
commit d2c32b048a

View File

@ -17,11 +17,11 @@ static unsigned htif_bytes;
static mm_t* mm; static mm_t* mm;
static const char* loadmem; static const char* loadmem;
void htif_fini(int code) void htif_fini(vc_handle failure)
{ {
delete htif; delete htif;
htif = NULL; htif = NULL;
exit(code); exit(vc_getScalar(failure));
} }
int main(int argc, char** argv) int main(int argc, char** argv)