explorers for types with clashing names not pushed to target
Thorsten Steenbock reported a bug where types with similar names, e.g __first __first_second would interfere when transfering explorers to the target host. Signed-off-by: Steven Armstrong <steven@icarus.ethz.ch>
This commit is contained in:
		
					parent
					
						
							
								41ee512596
							
						
					
				
			
			
				commit
				
					
						dd949d5984
					
				
			
		
					 1 changed files with 1 additions and 1 deletions
				
			
		| 
						 | 
					@ -398,7 +398,7 @@ __cdist_type_has_explorer()
 | 
				
			||||||
__cdist_type_explorer_pushed()
 | 
					__cdist_type_explorer_pushed()
 | 
				
			||||||
{
 | 
					{
 | 
				
			||||||
   [ -f "${__cdist_out_type_dir}/${__cdist_name_type_explorer_pushed}" ] \
 | 
					   [ -f "${__cdist_out_type_dir}/${__cdist_name_type_explorer_pushed}" ] \
 | 
				
			||||||
      && grep -q "$1" "${__cdist_out_type_dir}/${__cdist_name_type_explorer_pushed}"
 | 
					      && grep -x -q "$1" "${__cdist_out_type_dir}/${__cdist_name_type_explorer_pushed}"
 | 
				
			||||||
}
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
__cdist_type_explorer_pushed_add()
 | 
					__cdist_type_explorer_pushed_add()
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue