replace --only-errors by --log-level error

anoma · Jul 18, 2024 · f672266 · f672266
1 parent 9832a42
commit f672266
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -5,7 +5,7 @@ all: check html
 
 PHONY: check
 check:
-	@${JUVIXBIN} typecheck index.juvix --only-errors --no-stdlib
+	@${JUVIXBIN} typecheck index.juvix --log-level error --no-stdlib
 
 PHONY: html
 html:
@@ -25,7 +25,7 @@ JUVIXFILES?=$(shell find \
 	-type f -name "*.juvix" -print)
 
 JUVIXFORMATFLAGS?=--in-place
-JUVIXTYPECHECKFLAGS?=--only-errors
+JUVIXTYPECHECKFLAGS?=--log-level error
 FORMATCHECK?=0
 
 .PHONY: format