mirror of
				https://github.com/MariaDB/server.git
				synced 2025-11-04 04:46:15 +01:00 
			
		
		
		
	
		
			
				
	
	
		
			20 lines
		
	
	
	
		
			573 B
		
	
	
	
		
			Text
		
	
	
	
	
	
			
		
		
	
	
			20 lines
		
	
	
	
		
			573 B
		
	
	
	
		
			Text
		
	
	
	
	
	
--source include/not_embedded.inc
 | 
						|
if (`SELECT COUNT(*) = 0 FROM INFORMATION_SCHEMA.PLUGINS WHERE PLUGIN_NAME = 'innodb' AND PLUGIN_LIBRARY IS NULL`)
 | 
						|
{
 | 
						|
  --skip Requires built-in InnoDB.
 | 
						|
}
 | 
						|
 | 
						|
let $cmd=`select replace("$MYSQLD_BOOTSTRAP_CMD --skip-innodb", " --default-storage-engine=myisam", "")`;
 | 
						|
 | 
						|
--source include/kill_mysqld.inc
 | 
						|
 | 
						|
#
 | 
						|
# Now it *must* fail, because if InnoDB is compiled in, it is used as a default
 | 
						|
# storage engine. but $cmd includes --skip-innodb
 | 
						|
#
 | 
						|
error 1;
 | 
						|
exec $cmd;
 | 
						|
 | 
						|
echo "all ok"; # to not have zero-length result file
 | 
						|
 | 
						|
--source include/start_mysqld.inc
 |