mirror of https://github.com/ARMmbed/mbed-os.git
				
				
				
			Fix for downloading the wrong binary in the online compiler
							parent
							
								
									46603f831e
								
							
						
					
					
						commit
						03f5ffd6b6
					
				| 
						 | 
				
			
			@ -766,7 +766,7 @@ class mbedToolchain:
 | 
			
		|||
        self.mem_stats(mapfile)
 | 
			
		||||
 | 
			
		||||
        self.notify.var("compile_succeded", True)
 | 
			
		||||
        self.notify.var("binary", filename)
 | 
			
		||||
        self.notify.var("binary", full_path)
 | 
			
		||||
 | 
			
		||||
        return full_path, updatable
 | 
			
		||||
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
		Loading…
	
		Reference in New Issue