]> CRI, Mines Paris - PSL - Faustine.git/blobdiff - examples/sinwave/Makefile
Replace Sys.time by Unix.time in main.ml.
[Faustine.git] / examples / sinwave / Makefile
index c6d2ec9694432f5fd0e284ab546d14d1fc5d0181..064b7c8bf9446347806f18cffcf7937963230cbe 100644 (file)
@@ -7,7 +7,7 @@ WAVOUT = $(BASENAME)1.$(FORMAT)
 all: $(WAVOUT)
 
 $(WAVOUT): $(SRC)
-       faustine -d $< --obasename $(BASENAME) --oformat $(FORMAT)
+       faustine -f $< --obasename $(BASENAME) --oformat $(FORMAT)
 
 clean::
        rm -f gmon.out $(BASENAME)*