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