Merge branch 'master' into comment

1 files changed, 2 insertions, 3 deletions

diff --git a/main.c b/main.c
index c6fef2f1..901bfea5 100644
--- a/main.c
+++ b/main.c
@@ -739,9 +739,8 @@ 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 if (do_pretty_print && ! do_profile)
+		;	/* run pretty printer only. */
 	else
 		interpret(code_block);