From 20a3b2ad4421763e4b19d7897cc5addecf06898d Mon Sep 17 00:00:00 2001 From: Michael Forney Date: Thu, 14 Apr 2016 00:21:44 -0700 Subject: Allow independent generation of ninja files --- scripts/tree.rc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'scripts') 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 -- cgit v1.2.3