Replace Sys.time by Unix.time in main.ml.

[Faustine.git] / examples / primitives / Makefile

diff --git a/examples/primitives/Makefile b/examples/primitives/Makefile
index b392c2b..fb73fc3 100644 (file)
--- a/examples/primitives/Makefile
+++ b/examples/primitives/Makefile
@@ -9,7 +9,7 @@ CSVOUT = $(BASENAME)1.$(FORMAT)
 all: $(CSVOUT)
 
 $(CSVOUT): $(SRC)
 all: $(CSVOUT)
 
 $(CSVOUT): $(SRC)

-       faustine -d $(SRC) -t $(SAMPLES) --oformat $(FORMAT) --obasename $(BASENAME)
+       faustine -f $(SRC) -l $(SAMPLES) --oformat $(FORMAT) --obasename $(BASENAME)

 
 clean::
        rm -f gmon.out output*
 
 clean::
        rm -f gmon.out output*