Update packages/goblint/goblint.2.0.0/opam

kit-ty-kate · web-flow · commit b1451bdc7d5f · 2022-08-18T19:13:02.000+01:00
diff --git a/packages/goblint/goblint.2.0.0/opam b/packages/goblint/goblint.2.0.0/opam
@@ -61,7 +61,7 @@ build: [
     jobs
     "--promote-install-files=false"
     "@install"
-    "@runtest" {with-test}
+    "@runtest" {with-test & os-distribution != "ol"}
     "@doc" {with-doc}
   ]
   ["dune" "install" "-p" name "--create-install-files" name]

Original file line number	Diff line number	Diff line change
`@@ -61,7 +61,7 @@ build: [`
`61`	`61`	`jobs`
`62`	`62`	`"--promote-install-files=false"`
`63`	`63`	`"@install"`
`64`		`- "@runtest" {with-test}`
	`64`	`+ "@runtest" {with-test & os-distribution != "ol"}`
`65`	`65`	`"@doc" {with-doc}`
`66`	`66`	`]`
`67`	`67`	`["dune" "install" "-p" name "--create-install-files" name]`