diff options
author | Eric Engestrom <eric.engestrom@imgtec.com> | 2017-02-03 18:21:09 +0000 |
---|---|---|
committer | Eric Engestrom <eric.engestrom@imgtec.com> | 2017-02-28 13:34:26 +0000 |
commit | a6cdfa5cd8cc953ffec4497cd8262059c4b14675 (patch) | |
tree | f241218bff232c29c8b4b7bc1f26dcf59b5a84cd /autogen.sh | |
parent | f6499b11534450b0f8c2b20529ebedaae924c156 (diff) |
autogen.sh: don't print old git-config values
Old values are of no interest to the user, so let's reduce the spam
a bit by hiding those.
Signed-off-by: Eric Engestrom <eric.engestrom@imgtec.com>
Reviewed-by: Chad Versace <chadversary@chromium.org>
Reviewed-by: Emil Velikov <emil.velikov@collabora.com>
Diffstat (limited to 'autogen.sh')
-rwxr-xr-x | autogen.sh | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -9,10 +9,10 @@ cd "$srcdir" autoreconf --force --verbose --install || exit 1 cd "$ORIGDIR" || exit $? -git config --local --get format.subjectPrefix || +git config --local --get format.subjectPrefix >/dev/null || git config --local format.subjectPrefix "PATCH libdrm" 2>/dev/null -git config --local --get sendemail.to || +git config --local --get sendemail.to >/dev/null || git config --local sendemail.to "dri-devel@lists.freedesktop.org" 2>/dev/null if test -z "$NOCONFIGURE"; then |