[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:  new  
 Priority:  normal   |      Milestone:       
Component:  Company  |        Version:       
 Keywords:           |         Parent:       
   Points:           |   Actualpoints:       
---------------------+------------------------------------------------------

Comment(by weasel):

 done for the debian ones.

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