diff options
Diffstat (limited to 'toolchain-tools')
-rwxr-xr-x | toolchain-tools | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/toolchain-tools b/toolchain-tools index e3090eb..ad8b79d 100755 --- a/toolchain-tools +++ b/toolchain-tools @@ -74,10 +74,6 @@ function new2_gcc() { git push $QUIET --force /srv/repositories/toolchain/gcc.git 'refs/heads/*' 'refs/tags/*' 2>&1 | grep -v "remote: Sending notification emails to" } -function update_server_info() { - logiferr "git --git-dir=$GCC_REPO update-server-info" -} - function update_newlib_mirror() { cd $TOOLCHAIN_DIR/newlib.git stubborn_do git remote update @@ -91,7 +87,6 @@ function update_glibc_mirror() { function update_binutils_gdb() { cd $BINUTILS_GDB_REPO stubborn_do git remote update - logiferr "git update-server-info" } function update_dejagnu_mirror() { @@ -113,4 +108,5 @@ all_repos="gcc.git glibc.git dejagnu.git newlib.git binutils-gdb.git" cd /srv/repositories for repo in $all_repos ; do logiferr "/usr/local/bin/grok-manifest -m /var/www/git.linaro.org/manifest.js.gz -t /srv/repositories/ -v -n toolchain/$repo" + logiferr "git --git-dir=$TOOLCHAIN_DIR/$repo update-server-info" done |