# HG changeset patch
# User wenzelm
# Date 1614607797 -3600
# Node ID d045cdbdf243318a977db8834e9ca2a5aa5d3a0c
# Parent  0fb889c361e6c13af22eb3e4e1377dd7d6c4523a
proper relative path (see also df49ca5da9d0, 5b15eee1a661, etc.);

diff -r 0fb889c361e6 -r d045cdbdf243 src/Pure/System/isabelle_system.ML
--- a/src/Pure/System/isabelle_system.ML	Mon Mar 01 14:58:00 2021 +0100
+++ b/src/Pure/System/isabelle_system.ML	Mon Mar 01 15:09:57 2021 +0100
@@ -82,7 +82,8 @@
 fun copy_file src dst = scala_function "copy_file" [src, dst];
 
 fun copy_file_base (base_dir, src) target_dir =
-  scala_function "copy_file_base" [base_dir, src, target_dir];
+  scala_function0 "copy_file_base"
+    [absolute_path base_dir, Path.implode src, absolute_path target_dir];
 
 
 (* tmp files *)