mirror of
				https://github.com/MariaDB/server.git
				synced 2025-10-31 19:06:14 +01:00 
			
		
		
		
	
		
			
				
	
	
		
			45 lines
		
	
	
	
		
			1.5 KiB
		
	
	
	
		
			Bash
		
	
	
		
			Executable file
		
	
	
	
	
			
		
		
	
	
			45 lines
		
	
	
	
		
			1.5 KiB
		
	
	
	
		
			Bash
		
	
	
		
			Executable file
		
	
	
	
	
| #! /bin/sh
 | |
| 
 | |
| # Copyright (C) 2000, 2007 MySQL AB
 | |
| # Use is subject to license terms 
 | |
| # This program is free software; you can redistribute it and/or modify
 | |
| # it under the terms of the GNU General Public License as published by
 | |
| # the Free Software Foundation; version 2 of the License.
 | |
| # 
 | |
| # This program is distributed in the hope that it will be useful,
 | |
| # but WITHOUT ANY WARRANTY; without even the implied warranty of
 | |
| # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 | |
| # GNU General Public License for more details.
 | |
| # 
 | |
| # You should have received a copy of the GNU General Public License
 | |
| # along with this program; if not, write to the Free Software
 | |
| # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1335  USA
 | |
| 
 | |
| # Need to disable ccache, or we loose the gcov-needed compiler output files.
 | |
| 
 | |
| USING_GCOV=1
 | |
| CCACHE_GCOV_VERSION_ENABLED=0
 | |
| if ccache -V > /dev/null 2>&1
 | |
| then
 | |
|   CCACHE_VER=`ccache -V | head -1 | sed s/"ccache version "//`
 | |
|   if test "$CCACHE_VER" == "2.4-gcov"
 | |
|   then
 | |
|     CCACHE_GCOV_VERSION_ENABLED=1
 | |
|   else
 | |
|     CCACHE_DISABLE=1
 | |
|     export CCACHE_DISABLE
 | |
|   fi
 | |
| fi
 | |
| export CCACHE_GCOV_VERSION_ENABLED
 | |
| 
 | |
| path=`dirname $0`
 | |
| . "$path/SETUP.sh"
 | |
| 
 | |
| export LDFLAGS="$gcov_link_flags"
 | |
| 
 | |
| extra_flags="$pentium_cflags $debug_cflags $max_cflags $gcov_compile_flags"
 | |
| c_warnings="$c_warnings $debug_extra_warnings"
 | |
| cxx_warnings="$cxx_warnings $debug_extra_warnings"
 | |
| extra_configs="$pentium_configs $debug_configs $gcov_configs $max_configs $disable_64_bit_plugins"
 | |
| 
 | |
| . "$path/FINISH.sh"
 | 
