From 3ceb23374fc269d883dc5d56e40518db77efea1a Mon Sep 17 00:00:00 2001 From: "Arnold D. Robbins" Date: Tue, 24 Jun 2014 18:10:22 +0300 Subject: Make --pretty-print not run the program. --- main.c | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'main.c') 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); -- cgit v1.2.3