mirror of
https://github.com/MariaDB/server.git
synced 2025-07-27 18:02:13 +03:00
Merge zippy.(none):/home/cmiller/work/mysql/merge/mysql-5.1
into zippy.(none):/home/cmiller/work/mysql/merge/mysql-5.1-new-maint
This commit is contained in:
@ -552,6 +552,11 @@ sub command_line_setup () {
|
||||
"($opt_master_myport - $opt_master_myport + 10)");
|
||||
}
|
||||
|
||||
# This is needed for test log evaluation in "gen-build-status-page"
|
||||
# in all cases where the calling tool does not log the commands
|
||||
# directly before it executes them, like "make test-force-pl" in RPM builds.
|
||||
print "Logging: $0 ", join(" ", @ARGV), "\n";
|
||||
|
||||
# Read the command line
|
||||
# Note: Keep list, and the order, in sync with usage at end of this file
|
||||
|
||||
|
Reference in New Issue
Block a user