Merge pull request #1103 from tleedjarv/deprec-fsmonitor.py

Do not install `fsmonitor.py`
bcpierce00 · Dec 22, 2024 · e5e92b6 · e5e92b6
2 parents af5308a + a75498c
commit e5e92b6
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]