This repository has been archived by the owner on Aug 25, 2022. It is now read-only.
Command exit master #180
Merged
Command exit master #180
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
…line processor): - on parse failure, 64 - if help or version was requested, 63 reasoning is to design reasonable restart-on-failure semantics.
hannesm
force-pushed
the
command-exit-master
branch
from
6b9a97e to
f33aa7a
Compare
|
merging to stay consistent with released 2.2 series |
samoht
added a commit
to samoht/opam-repository
that referenced
this pull request
Oct 22, 2019
CHANGES: * Use `dune` to compile `config.ml` into an executable and run it. This replaces the use of `ocamlbuild` and dynlinking of `config.ml` (mirage/functoria#176, @samoht) The new compilation scheme: - generates `dune`, `dune.config` and `dune.build` with sensible configuration values. Each file can be overwritten by the user, in that case functoria will detect it and will not remove during the clean step; - by default, `dune` just includes `dune.config` and `dune.build`; - by default, `dune.config` contains the rules to build `config.ml` into `config.exe`; - by default, `dune.build` is empty -- functoria users such as `mirage` can just overwrite that file with the rigth build rules. * Invoke `opam list` with `--color=never` (mirage/functoria#177, @ehmry) * Use different exit codes in `Functoria_runtime.with_argv` (mirage/functoria#180, @hannesm)
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
that's #179 but targeting master instead of 2.2!