summaryrefslogtreecommitdiff
path: root/main.c
diff options
context:
space:
mode:
authorArnold D. Robbins <arnold@skeeve.com>2013-05-28 21:19:36 +0300
committerArnold D. Robbins <arnold@skeeve.com>2013-05-28 21:19:36 +0300
commit193a78e55fc2e0cd54e0da204d2f9eb0f90f1fb2 (patch)
tree29f91f479da30d8ad768f6d38e5368a7d8fea587 /main.c
parent94b64f95755e183578d74fafa3e6403a1f23545a (diff)
downloadgawk-193a78e55fc2e0cd54e0da204d2f9eb0f90f1fb2.tar.gz
Minor profiling fixes. More to come.
Diffstat (limited to 'main.c')
-rw-r--r--main.c3
1 files changed, 3 insertions, 0 deletions
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);