diff options
| author | Michael Forney <mforney@mforney.org> | 2016-04-14 00:21:44 -0700 |
|---|---|---|
| committer | Michael Forney <mforney@mforney.org> | 2016-04-15 02:10:08 -0700 |
| commit | 20a3b2ad4421763e4b19d7897cc5addecf06898d (patch) | |
| tree | ecc00da23403820c355f5ff81f9da2ae8531f466 /scripts/tree.rc | |
| parent | b3a4eb3f51f308a1d7fdde8a7cf77f4b8df2f308 (diff) | |
Allow independent generation of ninja files
Diffstat (limited to 'scripts/tree.rc')
| -rw-r--r-- | scripts/tree.rc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/tree.rc b/scripts/tree.rc index 1ace9935..b641c922 100644 --- a/scripts/tree.rc +++ b/scripts/tree.rc @@ -4,7 +4,7 @@ flag e + repo=$1 tag=$2 -shift 2 +index=$3 fn checkstatus { s=$status if(! ~ $s '' '|') exit $s @@ -15,6 +15,6 @@ ifs=() { oldpwd=`{pwd | head -c -1} } cd $repo git read-tree --empty -cat $oldpwd/$* | git update-index --index-info +git update-index --index-info <$oldpwd/$index tree=`{git write-tree} ; checkstatus git update-ref refs/tags/$tag $tree |