Skip to content

Commit

Permalink
fix the manual
Browse files Browse the repository at this point in the history
  • Loading branch information
gasche committed Nov 11, 2017
1 parent e03a297 commit 32c913b
Showing 1 changed file with 6 additions and 1 deletion.
7 changes: 6 additions & 1 deletion manual/manual.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -704,7 +704,7 @@ Feel free to look at the implementation and link:../CONTRIBUTING.adoc[send a pat
* `no_alias_deps`
* `no_float_const_prop`
* `noassert`
* `noautolink` (since NEXT_RELEASE)
* `noautolink` (since 0.11.0)
* `nolabels`
* `nopervasives`
* `nostdlib` (since 0.9.4)
Expand Down Expand Up @@ -749,6 +749,11 @@ Feel free to look at the implementation and link:../CONTRIBUTING.adoc[send a pat
* `no_unbox_free_vars_of_closures`
* `no_unbox_specialized_args`

===== Compiler tags for the AFL instrumentation mode (4.05 and newer)

* `afl_instrument` (since 0.12.0)
* `afl_inst_ratio` (since 0.12.0)

===== `ocamlfind` tags

* `package(pkgname)`
Expand Down

0 comments on commit 32c913b

Please sign in to comment.