1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-31 22:22:30 +03:00

- fixed Log file naming in Boostrap

Build-tools/Bootstrap:
   - fixed Log file naming
This commit is contained in:
unknown
2004-08-11 23:01:08 +02:00
parent 367e686d3e
commit f82898f185

View File

@@ -101,10 +101,8 @@ if (defined $opt_log)
}
}
}
else
{
$LOGFILE= $PWD . "/Bootstrap-" . $REPO . ".log";
}
$LOGFILE= $PWD . "/Bootstrap-" . $REPO . ".log" unless ($LOGFILE);
&logger("Starting build");
&abort("The directory \"$REPO\" could not be found!") if (!-d $REPO);