mirror of
				https://github.com/MariaDB/server.git
				synced 2025-10-31 02:46:29 +01:00 
			
		
		
		
	 7703095d2e
			
		
	
	
	7703095d2e
	
	
	
		
			
			Added a system variabe rocsdb_git_hash to MyRocks which tell us the version of RocksDB being used
		
			
				
	
	
		
			1 line
		
	
	
	
		
			46 B
		
	
	
	
		
			C
		
	
	
	
	
	
			
		
		
	
	
			1 line
		
	
	
	
		
			46 B
		
	
	
	
		
			C
		
	
	
	
	
	
| #define ROCKSDB_GIT_HASH "@ROCKSDB_GIT_HASH@"
 |