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.
bcpierce00 · Dec 22, 2024 · a75498c · a75498c
1 parent af5308a
commit a75498c
Showing 1 changed file with 0 additions and 4 deletions.
diff --git 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]