diff options
| author | Prashanth Mundkur | 2018-05-22 10:05:44 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-05-23 12:39:27 -0700 |
| commit | 52965bdc2875ea35f5433e22307a1e951d054417 (patch) | |
| tree | e4ea2a98688a6ad1ce2ad9cbdac4d1624fbf5fce /riscv/platform_impl.ml | |
| parent | 7814d91f79d5873224668658c5b11a34affd42ad (diff) | |
Fix incorrect channel in dtc i/o.
Diffstat (limited to 'riscv/platform_impl.ml')
| -rw-r--r-- | riscv/platform_impl.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/riscv/platform_impl.ml b/riscv/platform_impl.ml index a1a1f699..1d2037a6 100644 --- a/riscv/platform_impl.ml +++ b/riscv/platform_impl.ml @@ -124,7 +124,7 @@ let make_dtb dts = (* Call the dtc compiler, assumed to be at /usr/bin/dtc *) (* simple and stupid for now *) let rec accum_bytes cin acc = match ( - try Some (input_byte cfrom) + try Some (input_byte cin) with End_of_file -> None ) with | Some b -> accum_bytes cin (b :: acc) |