[tor-bugs] #17826 [Tor]: tor not make-jobs safe

[Tor Bug Tracker & Wiki]

#17826: tor not make-jobs safe
------------------------+------------------------------
     Reporter:  wiz     |      Owner:
         Type:  defect  |     Status:  new
     Priority:  Medium  |  Milestone:
    Component:  Tor     |    Version:  Tor: unspecified
     Severity:  Normal  |   Keywords:
Actual Points:          |  Parent ID:
       Points:          |    Sponsor:
------------------------+------------------------------
 I just tried building tor from git
 (f3ed5ec0cac4719e249e629760756314d7cfecba) from scratch with 'make -j10'
 and got:

 --- src/common/src_common_libor_testing_a-log.o ---
 src/common/log.c:272:28: fatal error: micro-revision.i: No such file or
 directory
  #include "micro-revision.i"
                             ^

 Seems there are some dependencies missing.

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