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

    Verified

    This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
    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