[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:       
---------------------+------------------------------------------------------
 Right now,  the buildbots use "make" to build our software.  Instead, they
 should use "make -k".

 The "-k" option tells make to continue building as many things as it can,
 so that we find out _all_ the errors and warnings in Tor.  Without it, we
 only find out which errors are there in the first problematic file we try
 to compile.

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