distcc-python.patch

   1 --- distcc-3.4/Makefile.in.orig 2023-09-20 21:24:52.121396599 +0200
   2 +++ distcc-3.4/Makefile.in      2023-09-20 21:24:54.801382080 +0200
   3 @@ -1083,6 +1083,7 @@ install-include-server: include-server p
   4                 --build-temp="$(include_server_builddir)" \
   5               install                                   \
   6                  --prefix="$(prefix)"                   \
   7 +                --optimize=2                           \
   8                  --record="$(include_server_builddir)/install.log.pre" \
   9                  --root="$$DESTDIR"                     \
  10             || exit 1; \