|  | @@ -22,7 +22,6 @@ FILE_LICENCE ( GPL2_OR_LATER );
 | 
		
	
		
			
			| 22 | 22 |  #include <stdlib.h>
 | 
		
	
		
			
			| 23 | 23 |  #include <stdio.h>
 | 
		
	
		
			
			| 24 | 24 |  #include <errno.h>
 | 
		
	
		
			
			| 25 |  | -#include <libgen.h>
 | 
		
	
		
			
			| 26 | 25 |  #include <getopt.h>
 | 
		
	
		
			
			| 27 | 26 |  #include <ipxe/image.h>
 | 
		
	
		
			
			| 28 | 27 |  #include <ipxe/command.h>
 | 
		
	
	
		
			
			|  | @@ -76,8 +75,6 @@ static int imgfetch_core_exec ( int argc, char **argv,
 | 
		
	
		
			
			| 76 | 75 |  
 | 
		
	
		
			
			| 77 | 76 |  	/* Parse URI string */
 | 
		
	
		
			
			| 78 | 77 |  	uri_string = argv[optind];
 | 
		
	
		
			
			| 79 |  | -	if ( ! opts.name )
 | 
		
	
		
			
			| 80 |  | -		opts.name = basename ( uri_string );
 | 
		
	
		
			
			| 81 | 78 |  
 | 
		
	
		
			
			| 82 | 79 |  	/* Parse command line */
 | 
		
	
		
			
			| 83 | 80 |  	if ( argv[ optind + 1 ] != NULL ) {
 |