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: 26f716811473
Choose a base ref
...
head repository: mirage/mirage
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: fac92483d2f2
Choose a head ref
  • 2 commits
  • 1 file changed
  • 2 contributors

Commits on Nov 1, 2015

  1. Fix nocrypto's message.

    @Drup
    Drup committed Nov 1, 2015
    Copy the full SHA
    8a50ed2 View commit details

  2. Merge pull request #455 from Drup/nocrypto_message 

    Fix nocrypto's message.
    @Drup
    Drup committed Nov 1, 2015
    Copy the full SHA
    fac9248 View commit details
Showing with 2 additions and 2 deletions.
  1. +2 −2 lib/mirage.ml
4 changes: 2 additions & 2 deletions lib/mirage.ml
View file
Original file line number Diff line number Diff line change
@@ -753,8 +753,8 @@ let check_entropy libs =
if is_needed && not (is_entropy_enabled ()) then
Log.error
"The \"nocrypto\" library is loaded but entropy is not enabled!@ \
Please enable the entropy by adding a dependency \
to the nocrypto device. You can do so by adding [~deps:nocrypto] \
Please enable the entropy by adding a dependency to the nocrypto \
device. You can do so by adding ~deps:[abstract nocrypto] \
to the arguments of Mirage.foreign."
else R.ok ()