diff options
| author | Prashanth Mundkur | 2018-06-11 16:06:11 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-06-11 16:06:11 -0700 |
| commit | be54131898dcf13b9f10da55bd3175d84ff99ae4 (patch) | |
| tree | 457e470366d7a7f42ea131be80aefe267cfdb1d9 /riscv/platform_main.ml | |
| parent | 665e32897a4564fd27e0048af3ade274e9001052 (diff) | |
Put the riscv model's output on stderr, leaving stdout for the platform terminal.
Diffstat (limited to 'riscv/platform_main.ml')
| -rw-r--r-- | riscv/platform_main.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/riscv/platform_main.ml b/riscv/platform_main.ml index cb379cdd..c4421cce 100644 --- a/riscv/platform_main.ml +++ b/riscv/platform_main.ml @@ -64,7 +64,7 @@ let elf_arg = Arg.parse options (fun s -> opt_file_arguments := !opt_file_arguments @ [s]) usage_msg; ( match !opt_file_arguments with - | f :: _ -> print_endline ("Loading ELF file " ^ f); f + | f :: _ -> prerr_endline ("Loading ELF file " ^ f); f | _ -> (prerr_endline "Please provide an ELF file."; exit 0) ) |