diff options
Diffstat (limited to 'zkvms_guest_io')
| -rw-r--r-- | zkvms_guest_io/src/main.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/zkvms_guest_io/src/main.rs b/zkvms_guest_io/src/main.rs index 4dfd1ae..e44245e 100644 --- a/zkvms_guest_io/src/main.rs +++ b/zkvms_guest_io/src/main.rs @@ -193,6 +193,7 @@ fn main() { if get_runexec_value(&stdout, "returnvalue", '\n') != "0" { run[operation] = Null; if let Some(log) = read_to_string(COMMAND_LOG_PATH).ok() { + println!("Command log:"); println!("{log}"); } continue; |
