From a75498c451fefcdc21a082b2ed85b215e545f6d7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?T=C3=B5ivo=20Leedj=C3=A4rv?= Date: Sun, 22 Dec 2024 10:46:35 +0100 Subject: [PATCH] Do not install fsmonitor.py It has not been maintained since the introduction of the new fsmonitor interface, and is likely to be removed in future. --- src/make_tools.ml | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/make_tools.ml b/src/make_tools.ml index 9407a0681..69472192d 100644 --- a/src/make_tools.ml +++ b/src/make_tools.ml @@ -585,10 +585,6 @@ let install () = install_if_exists "src" "unison" (destdir ^ bindir); install_if_exists "src" "unison-gui" (destdir ^ bindir); install_if_exists "src" "unison-fsmonitor" (destdir ^ bindir); - if not (exists "src" "unison-fsmonitor") then begin - (* FIXME: fsmonitor.py is legacy and unmaintained. Drop? *) - install_if_exists "src" "fsmonitor.py" (destdir ^ bindir) - end; if exists "man" "unison.1" then begin exec [install; "-d"; destdir ^ man1dir]; exec [install_data; "man/unison.1"; destdir ^ man1dir ^ "/unison" ^ manext]