mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2026-04-25 01:35:31 +02:00
Code Issues Projects Releases Packages Wiki Activity

- Output redirection does not work with run_command(), use system()

Browse source 
instead.
This commit is contained in:
unknown 2003-12-13 04:33:36 +01:00
commit 8ab3553bba
1 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
Build-tools/Bootstrap
View file

@ -278,9 +278,8 @@ unless ($opt_skip_manual)
&logger($msg);
foreach $file qw/internals manual reservedwords/
{
$command= "bk cat $opt_docdir/Docs/$file.texi";
$command.= " > $target_dir/Docs/$file.texi";
&run_command($command, "Could not updated $file.texi in $target_dir/Docs/!");
system ("bk cat $opt_docdir/Docs/$file.texi > $target_dir/Docs/$file.texi") == 0
or &abort("Could not update $file.texi in $target_dir/Docs/!");
}
}