diff options
author | Juergen Kahrs <Juergen.Kahrs@googlemail.com> | 2014-07-18 14:26:09 +0200 |
---|---|---|
committer | Juergen Kahrs <Juergen.Kahrs@googlemail.com> | 2014-07-18 14:26:09 +0200 |
commit | a3789a72120e0e35d4db309215f87695a256b033 (patch) | |
tree | 86dc93b31b8a83fa8662f6f827df658a85796048 /main.c | |
parent | 88cdccf6bceb2078895fec825f0b776487197c78 (diff) | |
parent | df2eaea6a92c7d89d604d0a4e885d064678ce3ed (diff) | |
download | egawk-a3789a72120e0e35d4db309215f87695a256b033.tar.gz egawk-a3789a72120e0e35d4db309215f87695a256b033.tar.bz2 egawk-a3789a72120e0e35d4db309215f87695a256b033.zip |
Merge remote-tracking branch 'origin/master' into cmake
Diffstat (limited to 'main.c')
-rw-r--r-- | main.c | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -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); |