diff options
author | Wojciech Meyer <wojciech.meyer@gmail.com> | 2013-06-30 23:28:18 +0000 |
---|---|---|
committer | Wojciech Meyer <wojciech.meyer@gmail.com> | 2013-06-30 23:28:18 +0000 |
commit | c631c7a1ddc216ddf9d21c3dc8ca6a74696bddd0 (patch) | |
tree | 5b6c339fef1938ef00653d1f382be4688f5a032a /otherlibs/win32unix/socket.c | |
parent | 086c04495e32c25e1aacf9f0f18787f8dfd927e1 (diff) |
PR#6060: Add some missing compiler options to ocamlbuild. (Patch by Anil Madhavapeddy!)
* -short-paths is activated via the "short_paths" tag
* -principal is activated via the "principal" tag
* -strict_sequence now has a "strict_sequence" tag to alias the
"strict-sequence" tag that was already there, to follow the
convention of command-line options having dashes replaced by
underscores. It's easy to mess this up since incorrect tags
are silently ignored by ocamlbuild.
Add test cases that check if principal and strict-sequence have
been passed, and tweak the test suite slightly to make it easier
to match on failing_msg output.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13859 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix/socket.c')
0 files changed, 0 insertions, 0 deletions