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 | |
| parent | a559dbe7ba616278ba770d46ecc86ef099e763fc (diff) | |
Use stamp files to avoid rebuilding parent directory local.ninja unnecessarily
| -rw-r--r-- | build.ninja | 2 | ||||
| -rwxr-xr-x | setup.rc | 5 |
2 files changed, 4 insertions, 3 deletions
diff --git a/build.ninja b/build.ninja index 8f0d5148..b2f35345 100644 --- a/build.ninja +++ b/build.ninja @@ -3,5 +3,5 @@ include rules.ninja subninja local.ninja -build build.ninja: stamp | local.ninja +build build.ninja: stamp | $builddir/gen.stamp generator = 1 @@ -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 |