diff options
| author | Michael Forney <mforney@mforney.org> | 2016-07-15 19:17:48 -0700 |
|---|---|---|
| committer | Michael Forney <mforney@mforney.org> | 2016-07-16 14:23:20 -0700 |
| commit | 78c4cc0023cd0e9e6df03a07f396017da48e336c (patch) | |
| tree | 1d1e77577e197608136d9867e16ca1bbd2cdec7e /scripts/tree.rc | |
| parent | b6392fac15793878df45a57d049a063b4e781e2c (diff) | |
Don't list git repository files as outputs
This way, ninja -t clean will work as expected.
Diffstat (limited to 'scripts/tree.rc')
| -rw-r--r-- | scripts/tree.rc | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/scripts/tree.rc b/scripts/tree.rc index d42f5bd6..81f641c6 100644 --- a/scripts/tree.rc +++ b/scripts/tree.rc @@ -5,13 +5,15 @@ flag e + repo=$1 tag=$2 index=$3 +out=$4 fn checkstatus {} -oldcwd=`{pwd} +wd=`{pwd} cd $repo git read-tree --empty -git update-index --index-info <$oldcwd/$index +git update-index --index-info <$wd/$index tree=`{git write-tree} ; checkstatus git update-ref refs/tags/$tag $tree +ln -f refs/tags/$tag $wd/$out |