diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/commit.rc | 3 | ||||
| -rw-r--r-- | scripts/tree.rc | 6 |
2 files changed, 7 insertions, 2 deletions
diff --git a/scripts/commit.rc b/scripts/commit.rc index feb0f4ac..e7b5d468 100644 --- a/scripts/commit.rc +++ b/scripts/commit.rc @@ -5,9 +5,11 @@ flag e + repo=$1 branch=$2 tag=$3 +out=$4 fn checkstatus {} +wd=`{pwd} cd $repo if([ -f refs/heads/$branch ]) parent=(-p $branch) @@ -16,3 +18,4 @@ if not parent=() message='oasis built by '`{id -un} commit=`{echo $message | git commit-tree $tag $parent} ; checkstatus git update-ref refs/heads/$branch $commit +ln -f refs/heads/$branch $wd/$out 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 |