Remove compiler/benchmarks from build sequence

There is nothing for Holmake to do there. (But see #331.)
CakeML · Dec 17, 2018 · 727dc82 · 727dc82
1 parent f4a8d50
commit 727dc82
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/developers/build-sequence b/developers/build-sequence
@@ -84,8 +84,6 @@ examples/compilation/x64/proofs
 examples/compilation/ag32
 examples/compilation/ag32/proofs
 
-compiler/benchmarks
-
 translator/okasaki-examples
 translator/other-examples
 compiler/parsing/tests