# HG changeset patch
# User wenzelm
# Date 1573735221 -3600
# Node ID 6ab4a5fb82e1ea6a647ca9aeae7a81ed6826f21f
# Parent  730090397e0d027941781f2d8e71d3f373ff8bfe
clarified signature: allow compound arg;

diff -r 730090397e0d -r 6ab4a5fb82e1 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Thu Nov 14 13:20:09 2019 +0100
+++ b/src/Pure/System/isabelle_system.scala	Thu Nov 14 13:40:21 2019 +0100
@@ -152,10 +152,10 @@
   /* permissions */
 
   def chmod(arg: String, path: Path): Unit =
-    bash("chmod " + Bash.string(arg) + " " + File.bash_path(path)).check
+    bash("chmod " + arg + " " + File.bash_path(path)).check
 
   def chown(arg: String, path: Path): Unit =
-    bash("chown " + Bash.string(arg) + " " + File.bash_path(path)).check
+    bash("chown " + arg + " " + File.bash_path(path)).check
 
 
   /* directories */