diff options
author | unknown <msvensson@pilot.blaudden> | 2007-02-26 14:52:51 +0100 |
---|---|---|
committer | unknown <msvensson@pilot.blaudden> | 2007-02-26 14:52:51 +0100 |
commit | e7d8bde1da73339e333a4ae5894b121729a865a8 (patch) | |
tree | 8502c8b73af52e288a67fd3af3f31745f03cbac0 /mysql-test/mysql-test-run.pl | |
parent | f10cfb055a493def16503e90bae31ad0e3077238 (diff) | |
download | mariadb-git-e7d8bde1da73339e333a4ae5894b121729a865a8.tar.gz |
Only allow a version number to be read from "/etc/debian_version"
Diffstat (limited to 'mysql-test/mysql-test-run.pl')
-rwxr-xr-x | mysql-test/mysql-test-run.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mysql-test/mysql-test-run.pl b/mysql-test/mysql-test-run.pl index fc0ad54c095..ed26204d7cb 100755 --- a/mysql-test/mysql-test-run.pl +++ b/mysql-test/mysql-test-run.pl @@ -1626,7 +1626,7 @@ sub environment_setup () { my $deb_version; if ( $opt_valgrind and -d $debug_libraries_path and (! -e '/etc/debian_version' or - ($deb_version= mtr_grab_file('/etc/debian_version')) == 0 or + ($deb_version= mtr_grab_file('/etc/debian_version')) !~ /^[0-9]+\.[0-9]$/ or $deb_version > 3.1 ) ) { push(@ld_library_paths, $debug_libraries_path); |