diff options
| author | Michael Forney <mforney@mforney.org> | 2016-04-15 00:05:29 -0700 |
|---|---|---|
| committer | Michael Forney <mforney@mforney.org> | 2016-04-15 02:10:09 -0700 |
| commit | 277feca9af47d81a101975cdc80d3a2a3ce16d59 (patch) | |
| tree | a52dddd7b0e8fc50fc0e5b3d7423b79965b1bcc6 /setup.rc | |
| parent | a559dbe7ba616278ba770d46ecc86ef099e763fc (diff) | |
Use stamp files to avoid rebuilding parent directory local.ninja unnecessarily
Diffstat (limited to 'setup.rc')
| -rwxr-xr-x | setup.rc | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -11,7 +11,7 @@ fn usage { fn subgen { subninja '$srcdir'/$1/local.ninja - gen_inputs=( $gen_inputs '$srcdir'/$1/local.ninja ) + gen_inputs=( $gen_inputs '$outdir'/$1/gen.stamp ) tree_inputs=( $tree_inputs '$outdir'/$1/root.tree ) tree_perms=( $tree_perms '$outdir'/$1/root.perms ) if(~ $recurse 1) @ gen $1 & @@ -39,7 +39,8 @@ fn gen { ifs=() { old_pwd=`{pwd | head -c -1} } . ./gen.rc - build '$srcdir'/local.ninja gen '|' setup.rc ninja.rc '$srcdir'/gen.rc $gen_inputs + build '$outdir'/gen.stamp stamp '|' '$srcdir'/local.ninja $gen_inputs + build '$srcdir'/local.ninja gen '|' setup.rc ninja.rc '$srcdir'/gen.rc if(! ~ $#tree_perms 0) { printf '%s\n' $tree_perms >$old_pwd/local.perms |