1 # Copyright
(C
) 2003-2020 Free Software Foundation
, Inc.
3 # This
program is free software
; you can redistribute it and
/or modify
4 # it under the terms of the GNU General Public License as published by
5 # the Free Software Foundation
; either version
3 of the License
, or
6 #
(at your option
) any later version.
8 # This
program is distributed in the hope that it will be useful
,
9 # but WITHOUT
ANY WARRANTY
; without even the implied warranty of
10 # MERCHANTABILITY or FITNESS
FOR A PARTICULAR PURPOSE. See the
11 # GNU General Public License
for more details.
13 # You should have received a copy of the GNU General Public License
14 # along with GCC
; see the file COPYING3.
If not see
15 #
<http
://www.gnu.org
/licenses
/>.
17 # This file defines a proc
for copying regular files as well as
20 proc gcc_copy_files
{srcfiles dstdir
} {
22 if { [is_remote host
] } {
23 remote_download host $f $dstdir
24 } elseif
{ [catch
{ set symlink
[file readlink $f
] } x
] } then {
25 file copy
-force $f $dstdir
27 if { [regexp
"^/" "$symlink"] } then {
28 file copy
-force $symlink $dstdir
30 set dirname
[file dirname $f
]
31 file copy
-force $dirname
/$symlink $dstdir