#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
[email protected]
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs
