summaryrefslogtreecommitdiffstats
path: root/waflib/extras/ocaml.py
diff options
context:
space:
mode:
authorDavid Robillard <d@drobilla.net>2019-04-21 16:05:37 +0200
committerDavid Robillard <d@drobilla.net>2019-04-21 16:05:37 +0200
commitf36ec712b405c26e09aa67e36f2a1d243e7dcc79 (patch)
tree60eb8d43b454b57f7340245ac8a21d2b077300a5 /waflib/extras/ocaml.py
parent619946be846e7cfa9b79ccd433746f172ccdefc3 (diff)
downloadsratom-f36ec712b405c26e09aa67e36f2a1d243e7dcc79.tar.gz
sratom-f36ec712b405c26e09aa67e36f2a1d243e7dcc79.tar.bz2
sratom-f36ec712b405c26e09aa67e36f2a1d243e7dcc79.zip
Squashed 'waflib/' changes from e7a29b6..4f98e1c
4f98e1c Remove recursion hacks 27c5c93 Remove use_lib() b074a1e Support building against local header-only libraries 27a69a7 Add option to filter tests by regular expression ac29b74 Fix configuring with root prefix 6134be6 Print test coverage summary 6d7dd59 Don't attempt to clear coverage when coverage is disabled cddbcb5 Pass file comparison test if difflib finds no changes 6e4e92b Seek to end before checking the size of stderr output git-subtree-dir: waflib git-subtree-split: 4f98e1c2bed7beacf4d303e51f994fb932952f95
Diffstat (limited to 'waflib/extras/ocaml.py')
0 files changed, 0 insertions, 0 deletions