# HG changeset patch
# User wenzelm
# Date 1680122410 -7200
# Node ID fea7bc828b8bf2ce8a3e2e309a44d939f1d76028
# Parent  2b5b093a1c0862afde20468ad6a719b702c2c167
more portable options;

diff -r 2b5b093a1c08 -r fea7bc828b8b src/Pure/Admin/component_rsync.scala
--- a/src/Pure/Admin/component_rsync.scala	Wed Mar 29 22:21:12 2023 +0200
+++ b/src/Pure/Admin/component_rsync.scala	Wed Mar 29 22:40:10 2023 +0200
@@ -13,7 +13,7 @@
   val default_version = "3.2.7"
   val default_download_url = "https://github.com/WayneD/rsync/archive/refs/tags"
   val default_build_options =
-    "--disable-openssl --disable-xxhash --disable-zstd --disable-lz4 --disable-md2man"
+    "--disable-openssl --disable-xxhash --disable-zstd --disable-lz4 --disable-md2man --disable-acl-support --disable-xattr-support"
 
   def build_rsync(
     version: String = default_version,