Skip to content

Commit

Permalink
fix in Makefile
Browse files Browse the repository at this point in the history
  • Loading branch information
@pilki
pilki committed May 5, 2011
1 parent 3aa995d commit 7c65f96
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ COQEXEC=coqtop $(INCLUDES) $(COQLIBS) -batch -load-vernac-source

OCAMLBUILD=ocamlbuild
OCB_INCLUDES=-I extraction $(INCLUDES)
OCB_QUICK_INCLUDES=-I extraction $(INCLUDES)
OCB_QUICK_INCLUDES=-I quick_extraction $(INCLUDES)
OCB_OPTIONS=\
-j 2 \
-no-hygiene \
Expand Down

0 comments on commit 7c65f96

Please sign in to comment.