We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 29ca97d commit 2c1b2acCopy full SHA for 2c1b2ac
benchmarks/benchmark-ocamlc/Makefile
@@ -15,8 +15,10 @@ ARGS=ml/*.ml ml/*.ml ml/*.ml ml/*.ml ml/*.ml ml/*.ml ml/*.ml ml/*.ml
15
16
perform:
17
env time -f "%E %R" $(COMPILER) --debug times --opt 2 --pretty `which ocamlc.byte` -o $(SCRIPT) 2>&1 | \
18
+ tee /dev/stderr | \
19
ocaml -I +str str.cma ../utils/compilation_metrics.ml $(COMPILER) $(NAME) $(SCRIPT) | \
20
sh ../utils/aggregate.sh $(KIND)
21
env time -f '{"compiler": "$(COMPILER)", "time":"%E"}' node $(SCRIPT) -c $(ARGS) 2>&1 | \
22
23
sh ../utils/format_metrics.sh exec | \
24
0 commit comments