Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: mirage/mirage
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 098dc402e52f
Choose a base ref
...
head repository: mirage/mirage
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: d8b83923753d
Choose a head ref
  • 2 commits
  • 1 file changed
  • 1 contributor

Commits on Jan 2, 2019

  1. Copy the full SHA
    99e679a View commit details
  2. Merge pull request #961 from hannesm/fix-log-threshold

    fix parsing of "-l debug" for log sources, as mentioned by @cfcs
    hannesm authored Jan 2, 2019
    Copy the full SHA
    d8b8392 View commit details
Showing with 1 addition and 1 deletion.
  1. +1 −1 lib_runtime/mirage_runtime.ml
2 changes: 1 addition & 1 deletion lib_runtime/mirage_runtime.ml
Original file line number Diff line number Diff line change
@@ -88,7 +88,7 @@ module Arg = struct
in
let parser str =
match String.split_on_char ':' str with
| [] -> `Ok (`All, level_of_string str)
| [ _ ] -> `Ok (`All, level_of_string str)
| [ src ; lvl ] -> `Ok (`Src src, level_of_string lvl)
| _ -> `Error ("Can't parse log threshold: "^str)
in