Merge pull request #22065 from kit-ty-kate/fix-18
inotify is only available on linux
Kate 3 years ago 0fc5b3d7 38c36f16
··· 19 "odoc" {with-doc} 20 ] 21 depopts: ["lwt"] 0 22 build: [ 23 ["dune" "subst"] {dev} 24 [
··· 19 "odoc" {with-doc} 20 ] 21 depopts: ["lwt"] 22 + available: os = "linux" 23 build: [ 24 ["dune" "subst"] {dev} 25 [