diff options
| author | unknown <joerg@mysql.com> | 2005-02-10 14:34:36 +0100 |
|---|---|---|
| committer | unknown <joerg@mysql.com> | 2005-02-10 14:34:36 +0100 |
| commit | e8070e9e872d538d8ab5c0e4cfa3ddc5715052e1 (patch) | |
| tree | 994f15fa15f44bfe90b27534760f6949cdeb7612 /Build-tools | |
| parent | 64a0f2389bfc10a350b3623270b51c104ab61452 (diff) | |
| parent | b2eb50d2abaac1af2e4b21e4ce7b5a3c8ed1ca35 (diff) | |
| download | mariadb-git-e8070e9e872d538d8ab5c0e4cfa3ddc5715052e1.tar.gz | |
Merge mysql.com:/M40/mysql-4.0 into mysql.com:/M40/push-4.0
Diffstat (limited to 'Build-tools')
| -rwxr-xr-x | Build-tools/Do-compile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Build-tools/Do-compile b/Build-tools/Do-compile index af03f3209aa..1f83a9a37e1 100755 --- a/Build-tools/Do-compile +++ b/Build-tools/Do-compile @@ -729,7 +729,7 @@ sub find sub rm_all { my(@rm_files)=@_; - my($dir,$current_dir,@files,@dirs); + my($dir,$current_dir,@files,@dirs,$removed); $current_dir = `pwd`; chomp($current_dir); foreach $dir (@rm_files) @@ -753,7 +753,9 @@ sub rm_all } if ($#files >= 0) { - system("rm -f " . join(" ",@files)) && abort("Can't remove files from $dir"); + $removed= unlink @files; + print "rm_all : removed $removed files in $current_dir/$dir\n" if ($opt_debug); + abort("Can't remove all $#files+1 from $current_dir/$dir, just $removed") if $removed != $#files+1; } foreach $dir (@dirs) { |