| commit | 7117998606249d39825bb03c6e0359584db41ab7 | |
| author | Vincent Siles <vsiles@fb.com> | |
| Thu, 28 Feb 2019 13:32:30 +0000 (28 05:32 -0800) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Thu, 28 Feb 2019 13:35:26 +0000 (28 05:35 -0800) | ||
| tree | 719f630300e89629a4b1e58219fa09f6640ae150 | treesnapshot (tar.gz zip) |
| parent | 52462207aeebaf1865a1b87ada18c63c3bd5babf | commitdiff |
Minor update of src/utils/dune to be more precise
Summary:
update of the dune file to create more precise libraries (mostly lwt version
of 'normal' ones) like in the TARGETS files. Affected libraries:
- string
- marshal_tools_lwt
- buffered_line_reader_lwt
Reviewed By: kmeht
Differential Revision: D14240919
fbshipit-source-id: b3cdf8b82976c484cd13082d068b9562fd844532
Summary:
update of the dune file to create more precise libraries (mostly lwt version
of 'normal' ones) like in the TARGETS files. Affected libraries:
- string
- marshal_tools_lwt
- buffered_line_reader_lwt
Reviewed By: kmeht
Differential Revision: D14240919
fbshipit-source-id: b3cdf8b82976c484cd13082d068b9562fd844532
| hphp/hack/src/utils/dune | diffblobblamehistory | |
| hphp/hack/src/utils/hg/dune | diffblobblamehistory | |
| hphp/hack/src/utils/process/dune | diffblobblamehistory |