From bbf195bbe537a085efd7f8e2b4917d065aa6c8f0 Mon Sep 17 00:00:00 2001 From: Rod Kay Date: Tue, 17 Oct 2023 15:47:40 +1100 Subject: [PATCH] lace.environ.paths: Rid incorrect 'check's of destination paths. --- 1-base/lace/source/environ/lace-environ-paths.adb | 3 --- 1-base/lace/source/environ/lace-environ-paths.ads | 4 ++-- 2 files changed, 2 insertions(+), 5 deletions(-) diff --git a/1-base/lace/source/environ/lace-environ-paths.adb b/1-base/lace/source/environ/lace-environ-paths.adb index bd3d015..9ef7f7d 100644 --- a/1-base/lace/source/environ/lace-environ-paths.adb +++ b/1-base/lace/source/environ/lace-environ-paths.adb @@ -706,8 +706,6 @@ is is begin check (Self); - check (To); - ada.Directories.copy_File (+Self, +To); end copy_File; @@ -749,7 +747,6 @@ is is begin check (Self); - check (To); -- 'Ada.Directories.Rename' fails when the file is moved across a device. -- For instance Rename ("/tmp/a_file", "/home/user/a_file"); diff --git a/1-base/lace/source/environ/lace-environ-paths.ads b/1-base/lace/source/environ/lace-environ-paths.ads index a09692e..46f9d19 100644 --- a/1-base/lace/source/environ/lace-environ-paths.ads +++ b/1-base/lace/source/environ/lace-environ-paths.ads @@ -143,8 +143,8 @@ is -- 'Named' can contain an asterix GLOB such as "*" or "*.txt". - procedure rid_File (Self : in File); - procedure rid_Files (Named : in String); + procedure rid_File (Self : in File); + procedure rid_Files (Named : in String); -- -- 'Named' can contain an asterix GLOB such as "*" or "*.txt".