From ba6b55fdd8f4a403a5ad8087260c52a461060e66 Mon Sep 17 00:00:00 2001 From: Reini Urban Date: Fri, 22 Mar 2013 13:13:35 -0500 Subject: [PATCH] p2: skip global destruction with jit or non-DEBUG --- front/p2.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/front/p2.c b/front/p2.c index da513825..8bdd9209 100644 --- a/front/p2.c +++ b/front/p2.c @@ -383,7 +383,9 @@ int main(int argc, char *argv[]) { "}"), exec == EXEC_JIT ? 1 : 0); } END: +#if !defined(POTION_JIT_TARGET) || defined(DEBUG) if (P != NULL) potion_destroy(P); +#endif return 0; }