more portable options;
authorwenzelm
Wed, 29 Mar 2023 22:40:10 +0200
changeset 77754 fea7bc828b8b
parent 77753 2b5b093a1c08
child 77755 12c8d72df48a
more portable options;
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,