From 193a78e55fc2e0cd54e0da204d2f9eb0f90f1fb2 Mon Sep 17 00:00:00 2001 From: "Arnold D. Robbins" Date: Tue, 28 May 2013 21:19:36 +0300 Subject: Minor profiling fixes. More to come. --- main.c | 3 +++ 1 file changed, 3 insertions(+) (limited to 'main.c') diff --git a/main.c b/main.c index 9ea76cdf..7438ee3a 100644 --- a/main.c +++ b/main.c @@ -722,6 +722,9 @@ out: if (do_debug) debug_prog(code_block); + else if (do_pretty_print && ! do_debug && getenv("GAWK_NO_PP_RUN") != NULL) + /* hack to run pretty printer only. need a better solution */ + ; else interpret(code_block); -- cgit v1.2.3