mirror of
				https://source.denx.de/u-boot/u-boot.git
				synced 2025-11-04 02:11:25 +01:00 
			
		
		
		
	Makefile: clean should delete *.efi
Files *.efi are generated files. So the clean target should delete them. Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de> Signed-off-by: Alexander Graf <agraf@suse.de>
This commit is contained in:
		
							parent
							
								
									f2560e2dea
								
							
						
					
					
						commit
						c2d9097ac9
					
				
							
								
								
									
										3
									
								
								Makefile
									
									
									
									
									
								
							
							
						
						
									
										3
									
								
								Makefile
									
									
									
									
									
								
							@ -1625,7 +1625,8 @@ clean: $(clean-dirs)
 | 
				
			|||||||
		-o -name '*.symtypes' -o -name 'modules.order' \
 | 
							-o -name '*.symtypes' -o -name 'modules.order' \
 | 
				
			||||||
		-o -name modules.builtin -o -name '.tmp_*.o.*' \
 | 
							-o -name modules.builtin -o -name '.tmp_*.o.*' \
 | 
				
			||||||
		-o -name 'dsdt.aml' -o -name 'dsdt.asl.tmp' -o -name 'dsdt.c' \
 | 
							-o -name 'dsdt.aml' -o -name 'dsdt.asl.tmp' -o -name 'dsdt.c' \
 | 
				
			||||||
		-o -name '*.gcno' \) -type f -print | xargs rm -f
 | 
							-o -name '*.efi' -o -name '*.gcno' \) \
 | 
				
			||||||
 | 
							-type f -print | xargs rm -f
 | 
				
			||||||
 | 
					
 | 
				
			||||||
# mrproper - Delete all generated files, including .config
 | 
					# mrproper - Delete all generated files, including .config
 | 
				
			||||||
#
 | 
					#
 | 
				
			||||||
 | 
				
			|||||||
		Loading…
	
	
			
			x
			
			
		
	
		Reference in New Issue
	
	Block a user