Fix coverage.sh

oscarbenjamin · oscarbenjamin · commit 1150eb0b587b · 2024-08-15T17:47:14.000+01:00
diff --git a/bin/coverage.sh b/bin/coverage.sh
@@ -10,7 +10,7 @@
 #
 set -o errexit
 
-meson configure build -Dcoverage=true
+meson setup build -Dcoverage=true
 spin run -- coverage run -m flint.test
 coverage report -m
 coverage html

Original file line number	Diff line number	Diff line change
`@@ -10,7 +10,7 @@`
`10`	`10`	`#`
`11`	`11`	`set -o errexit`
`12`	`12`
`13`		`-meson configure build -Dcoverage=true`
	`13`	`+meson setup build -Dcoverage=true`
`14`	`14`	`spin run -- coverage run -m flint.test`
`15`	`15`	`coverage report -m`
`16`	`16`	`coverage html`