diff options
| author | Michael Forney <mforney@mforney.org> | 2016-07-10 12:37:55 -0700 |
|---|---|---|
| committer | Michael Forney <mforney@mforney.org> | 2016-07-10 12:37:55 -0700 |
| commit | 8d37aa716d4c4232343509ca9aae47bd249a750e (patch) | |
| tree | 7a40b86d8f6819934b6814ef8140d4e30b35170b /core/git/src | |
| parent | 064f02c45807259d435082c93cd9dae4b1ea4621 (diff) | |
Delete sub and go back to subninja
Using a pipe allows us to specify the file name only once, but also runs in a
subshell, so we lose the list of dependent sources.
So, just go back to subninja, and make it slightly cleaner by assuming $dir.
Diffstat (limited to 'core/git/src')
0 files changed, 0 insertions, 0 deletions