Displaying 1 result from an estimated 1 matches for "d99f311".
Did you mean:
299,311
2015 Nov 11
1
[PATCH] sparsify: Make the interface between cmdline.ml and sparsify.ml explicit.
...| 23 +++++++++++++++++++----
sparsify/cmdline.mli | 36 ++++++++++++++++++++++++++++++++++++
sparsify/sparsify.ml | 13 +++++++------
4 files changed, 66 insertions(+), 11 deletions(-)
create mode 100644 sparsify/cmdline.mli
diff --git a/sparsify/Makefile.am b/sparsify/Makefile.am
index 33f418b..d99f311 100644
--- a/sparsify/Makefile.am
+++ b/sparsify/Makefile.am
@@ -18,13 +18,16 @@
include $(top_srcdir)/subdir-rules.mk
EXTRA_DIST = \
- $(SOURCES_ML) $(SOURCES_C) \
+ $(SOURCES_MLI) $(SOURCES_ML) $(SOURCES_C) \
virt-sparsify.pod \
test-virt-sparsify.sh \
test-virt-sparsify-in-place.sh...