eio_linux: mark as only available on Linux

talex5 · talex5 · commit 5b127ad26af2 · 2023-10-07T14:30:50.000+01:00
This avoids the CI trying to test it on e.g. FreeBSD.
diff --git a/eio_linux.opam b/eio_linux.opam
@@ -34,3 +34,4 @@ build: [
   ]
 ]
 dev-repo: "git+https://github.com/ocaml-multicore/eio.git"
+available: [os = "linux"]
diff --git a/eio_linux.opam.template b/eio_linux.opam.template
@@ -0,0 +1 @@
+available: [os = "linux"]

Original file line number	Diff line number	Diff line change
`@@ -34,3 +34,4 @@ build: [`
`34`	`34`	`]`
`35`	`35`	`]`
`36`	`36`	`dev-repo: "git+https://github.com/ocaml-multicore/eio.git"`
	`37`	`+available: [os = "linux"]`