[Author Prev][Author Next][Thread Prev][Thread Next][Author Index][Thread Index]

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



#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
_______________________________________________
tor-bugs mailing list
tor-bugs@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs