Makefile: Document deeply-nested libraries.

[nit.git] / tests / nitmetrics.args

diff --git a/tests/nitmetrics.args b/tests/nitmetrics.args
index f5d9c95..c6b8e98 100644 (file)
--- a/tests/nitmetrics.args
+++ b/tests/nitmetrics.args
@@ -1 +1 @@
---no-colors --all base_simple3.nit -d $WRITE
+--no-colors --all --csv base_simple3.nit -d $WRITE