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 b392c2bd73ee0f7fca74bac8d6302d7b4f466394..fb73fc3405efafe1cd425bfd4ba6a2bf962a5431 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*