Flush log stream before exec
This commit is contained in:
		
							parent
							
								
									b9c796999b
								
							
						
					
					
						commit
						7c47060702
					
				@ -511,6 +511,7 @@ class Formula
 | 
			
		||||
 | 
			
		||||
    log = File.open(logfn, "w")
 | 
			
		||||
    log.puts Time.now, "", cmd, args, ""
 | 
			
		||||
    log.flush
 | 
			
		||||
 | 
			
		||||
    if verbose
 | 
			
		||||
      rd, wr = IO.pipe
 | 
			
		||||
 | 
			
		||||
		Loading…
	
	
			
			x
			
			
		
	
		Reference in New Issue
	
	Block a user