diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2018-08-17 12:59:23 +0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2018-08-17 12:59:23 +0200 |
commit | d277442df53a01343ba7c1df0bbd2a294058dcba (patch) | |
tree | 0c4df7b947be75b89d4a9fdc4f756d67b318b471 /src/libexpr/primops/fetchGit.cc | |
parent | 19265ed26c5bd25b299896ed851bda6c444cf1a8 (diff) |
Fix parser/lexer generation with parallel make
Fun fact: rules with multiple targets don't work properly with 'make
-j'. For example, a rule like
a b: c
touch a b
is equivalent to
a: c
touch a b
b: c
touch a b
so with 'make -j', the 'touch' command will be run twice. See
e.g. https://stackoverflow.com/questions/2973445/gnu-makefile-rule-generating-a-few-targets-from-a-single-source-file.
Diffstat (limited to 'src/libexpr/primops/fetchGit.cc')
0 files changed, 0 insertions, 0 deletions