diff --git a/Makefile b/Makefile index b82d0ea..d25e6c0 100644 --- a/Makefile +++ b/Makefile @@ -10,7 +10,7 @@ setup.bin: setup.ml rm -f setup.cmx setup.cmi setup.o setup.cmo setup.data: setup.bin - ./setup.bin -configure --prefix $(PREFIX) --enable-tests + ./setup.bin -configure --prefix $(PREFIX) --disable-tests build: setup.data setup.bin ./setup.bin -build -j $(J)