Move git logging to .git-release.log (#7041)

This commit is contained in:
Jaco Greeff 2017-11-13 14:51:36 +01:00 committed by GitHub
parent af35fa1e33
commit a0090dd0d8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 6 additions and 3 deletions

3
.gitignore vendored
View File

@ -24,6 +24,9 @@
npm-debug.log
node_modules
# js build artifacts
.git-release.log
# gdb files
.gdb_history

View File

@ -16,7 +16,7 @@ function setup_git_user {
# change into the build directory
BASEDIR=`dirname $0`
GITLOG=./.git/gitcommand.log
GITLOG=.git-release.log
pushd $BASEDIR
cd ../.dist

View File

@ -16,7 +16,7 @@ function setup_git_user {
# change into the build directory
BASEDIR=`dirname $0`
GITLOG=./.git/gitcommand.log
GITLOG=.git-release.log
pushd $BASEDIR/..
echo "*** [cargo] Setting up GitHub config for parity"

View File

@ -16,7 +16,7 @@ function setup_git_user {
# change into the build directory
BASEDIR=`dirname $0`
GITLOG=./.git/gitcommand.log
GITLOG=.git-release.log
pushd $BASEDIR
cd ../.dist