diff options
author | eschnett <eschnett@83718e91-0e4f-0410-abf4-91180603181f> | 2011-11-26 17:45:06 +0000 |
---|---|---|
committer | eschnett <eschnett@83718e91-0e4f-0410-abf4-91180603181f> | 2011-11-26 17:45:06 +0000 |
commit | 122bfcfd2623fe30a9e25d00035727f3257d25a2 (patch) | |
tree | d2add622d41f306ad851d5628beb880c3a9d8a02 | |
parent | 2c1bef08b015e9bc50d2227cc6bef846c4facaa2 (diff) |
Suppress some output
git-svn-id: http://svn.cactuscode.org/arrangements/CactusUtils/Formaline/trunk@217 83718e91-0e4f-0410-abf4-91180603181f
-rwxr-xr-x | src/util/git-commit-everything.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/git-commit-everything.pl b/src/util/git-commit-everything.pl index 4d90075..498342a 100755 --- a/src/util/git-commit-everything.pl +++ b/src/util/git-commit-everything.pl @@ -31,8 +31,8 @@ print "Formaline: Committing source tree to git repository...\n"; # Invent a user id if there is none, since newer versions of git # insist on it -system "$git_cmd config user.name || $git_cmd config user.name \"\${USER}\" $silencer"; -system "$git_cmd config user.email || $git_cmd config user.email \"\${USER}\@localhost\" $silencer"; +system "$git_cmd config user.name > /dev/null 2>&1 || $git_cmd config user.name \"\${USER}\" $silencer"; +system "$git_cmd config user.email > /dev/null 2>&1 || $git_cmd config user.email \"\${USER}\@localhost\" $silencer"; # Try to use the previous commit as parent, if possible print "Executing: $git_cmd commit -m $build_id\n" unless $silent; |