diff options
| author | unknown <joerg@mysql.com> | 2004-11-05 15:22:03 +0100 |
|---|---|---|
| committer | unknown <joerg@mysql.com> | 2004-11-05 15:22:03 +0100 |
| commit | 8d5703a3c788f73d8a9a964a444b0c52f4058096 (patch) | |
| tree | 4f0975c13548796acf808ff42c0759d305702173 /Build-tools | |
| parent | 7d0a67d6285e60885f58a3bf2998e9b3d84bbc94 (diff) | |
| download | mariadb-git-8d5703a3c788f73d8a9a964a444b0c52f4058096.tar.gz | |
Change "Bootstrap" so that it will not fail on BK source trees of other versions;
this is important because this 4.0 "Bootstrap" is the one generally used on host "build".
Build-tools/Bootstrap:
If the source tree does not contain any "Docs/Images/Makefile*" (due to an error,
or because it is not yet prepared to contain the Images in the source tar-ball),
a plain "rm" will fail and so cause "Bootstrap" to fail. (This has happened ...)
Prevent this danger by using "rm -f".
Diffstat (limited to 'Build-tools')
| -rwxr-xr-x | Build-tools/Bootstrap | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build-tools/Bootstrap b/Build-tools/Bootstrap index e21179fe78c..a7d347ba32f 100755 --- a/Build-tools/Bootstrap +++ b/Build-tools/Bootstrap @@ -288,7 +288,7 @@ unless ($opt_skip_manual) 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/!"); } - system ("rm $target_dir/Docs/Images/Makefile*") == 0 + system ("rm -f $target_dir/Docs/Images/Makefile*") == 0 or &abort("Could not remove Makefiles in $target_dir/Docs/Images/!"); system ("cp $opt_docdir/Docs/Images/*.* $target_dir/Docs/Images") == 0 or &abort("Could not copy image files in $target_dir/Docs/Images/!"); |