matthieu
/
dune
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add jbuild_lexer.boot to speed up bootstrap 

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
This commit is contained in:
Rudi Grinberg 2018-06-20 20:21:40 +06:30
parent 15ffc107ff
commit 5a46dc1998
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/usexp/jbuild_lexer.boot.ml Normal file
View File

@ -0,0 +1 @@
let token _ = failwith "Unused during bootstrap"