Allow to enable or disable debugging.

2018-08-27 19:53:24 +02:00
parent c8e2dccbeb
commit 349bbed774
4 changed files with 11 additions and 9 deletions
@@ -154,7 +154,7 @@ int main(int argc, char **argv) {
 			   0 /* NULL: Callback Private data */
 			  );
 	/* Initialize the VM */
-	rc = ph7_vm_init(pEngine, &pVm);
+	rc = ph7_vm_init(pEngine, &pVm, dump_vm);
 	if(rc != PH7_OK) {
 		if(rc == PH7_NOMEM) {
 			Fatal("Out of memory");