Richard W.M. Jones ffffe71c16 build: Remove code coverage and code profiling options. ...

This reverts commit 5a2e320ec9.

2014-04-09 14:51:59 +01:00

..

common_utils_tests.ml

mllib: Rename parse_size to parse_resize.

2013-10-03 21:42:04 +01:00

common_utils.ml

mllib: utils: Add mapi function.

2014-04-03 17:59:54 +01:00

config.ml.in

builder: Internal implementation of parallel xzcat (pxzcat).

2013-11-05 12:45:42 +00:00

fsync-c.c

resize, builder: Improve speed by using cache=unsafe on newly created files.

2013-10-18 13:59:01 +01:00

fsync.ml

resize, builder: Improve speed by using cache=unsafe on newly created files.

2013-10-18 13:59:01 +01:00

fsync.mli

resize, builder: Improve speed by using cache=unsafe on newly created files.

2013-10-18 13:59:01 +01:00

Makefile.am

build: Remove code coverage and code profiling options.

2014-04-09 14:51:59 +01:00

mkdtemp-c.c

mllib: add a binding for mkdtemp

2014-02-21 14:34:36 +01:00

mkdtemp.ml

mllib: add a binding for mkdtemp

2014-02-21 14:34:36 +01:00

mkdtemp.mli

mllib: add a binding for mkdtemp

2014-02-21 14:34:36 +01:00

planner.ml

builder: planner: Whitespace change.

2014-01-13 20:58:08 +00:00

planner.mli

builder: planner: Whitespace change.

2014-01-13 20:58:08 +00:00

progress-c.c

tools: Move shared OCaml code to mllib/ directory.

2013-09-24 13:41:35 +01:00

progress.ml

tools: Move shared OCaml code to mllib/ directory.

2013-09-24 13:41:35 +01:00

progress.mli

tools: Move shared OCaml code to mllib/ directory.

2013-09-24 13:41:35 +01:00

tty-c.c

tools: Move shared OCaml code to mllib/ directory.

2013-09-24 13:41:35 +01:00

tTY.ml

tools: Move shared OCaml code to mllib/ directory.

2013-09-24 13:41:35 +01:00

tTY.mli

tools: Move shared OCaml code to mllib/ directory.

2013-09-24 13:41:35 +01:00

uri-c.c

mllib/uri-c.c: Remove unused variable.

2014-02-13 17:48:23 +00:00

uRI.ml

tools: Move shared OCaml code to mllib/ directory.

2013-09-24 13:41:35 +01:00

uRI.mli

tools: Move shared OCaml code to mllib/ directory.

2013-09-24 13:41:35 +01:00