[tor-bugs] #4947 [Company]: Buildbot should "make -k", not "make"

[Tor Bug Tracker & Wiki]

#4947: Buildbot should "make -k", not "make"
------------------------+---------------------------------------------------
    Reporter:  nickm    |       Owner:  erinn 
        Type:  defect   |      Status:  closed
    Priority:  normal   |   Milestone:        
   Component:  Company  |     Version:        
  Resolution:  fixed    |    Keywords:        
      Parent:           |      Points:        
Actualpoints:           |  
------------------------+---------------------------------------------------
Changes (by erinn):

  * status:  new => closed
  * resolution:  => fixed


Comment:

 Done for Windows too. Closing!

-- 
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/4947#comment:2>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online