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 cddd2f0 commit 3d348e4Copy full SHA for 3d348e4
benchmarks/Makefile
@@ -20,7 +20,7 @@ bench:
20
$(MAKE) microbenchmarks
21
$(MAKE) -C benchmark-fiat-crypto bench
22
$(MAKE) -C benchmark-ocamlc bench
23
- #$(MAKE) -C benchmark-partial-render-table bench
+ $(MAKE) -C benchmark-partial-render-table bench
24
$(MAKE) -C benchmark-camlboy bench
25
$(MAKE) -C benchmark-others bench # To try later!
26
0 commit comments