mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 12:02:42 +01:00
Convert one more opt_source_dist
This commit is contained in:
parent
448597ca72
commit
e727890427
1 changed files with 1 additions and 1 deletions
|
@ -658,7 +658,7 @@ sub command_line_setup () {
|
|||
# directory. And we install "/usr/share/mysql-test". Moving up one
|
||||
# more directory relative to "mysql-test" gives us a usable base
|
||||
# directory for RPM installs.
|
||||
if ( ! $opt_source_dist and ! -d "$glob_basedir/bin" )
|
||||
if ( ! $source_dist and ! -d "$glob_basedir/bin" )
|
||||
{
|
||||
$glob_basedir= dirname($glob_basedir);
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue