You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@mxnet.apache.org by ak...@apache.org on 2021/10/18 10:46:59 UTC

[incubator-mxnet] branch master updated: Disable debug log to avoid duplications (#20665)

This is an automated email from the ASF dual-hosted git repository.

akarbown pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/incubator-mxnet.git


The following commit(s) were added to refs/heads/master by this push:
     new cd76b63  Disable debug log to avoid duplications (#20665)
cd76b63 is described below

commit cd76b63a4df081d8b366310c54ee9c43660ab7cd
Author: mozga <ma...@intel.com>
AuthorDate: Mon Oct 18 12:44:32 2021 +0200

    Disable debug log to avoid duplications (#20665)
---
 ci/docker/runtime_functions.sh | 13 +++++++------
 tools/lint/clang_format_ci.sh  |  2 +-
 2 files changed, 8 insertions(+), 7 deletions(-)

diff --git a/ci/docker/runtime_functions.sh b/ci/docker/runtime_functions.sh
index 3345ee7..0c5a079 100755
--- a/ci/docker/runtime_functions.sh
+++ b/ci/docker/runtime_functions.sh
@@ -718,7 +718,8 @@ sanity_cpp() {
 }
 
 sanity_clang() {
-    set -ex
+    set -e
+    set +x
     # .github/workgflows/greetings.yml passes BASE_SHA, GITHUB_RUN_ID, GITHUB_BASE_REF for pull requests.
     BASE_SHA="${GITHUB_PR_BASE_SHA}"
     GITHUB_RUN_ID="${GITHUB_PR_RUN_ID}"
@@ -741,14 +742,14 @@ sanity_clang() {
         git remote remove "${GITHUB_RUN_ID}" # temporary remote is removed
         exit 0
     fi
-    
+
     echo "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"
-    echo "| clang-format failures found! Run: "
-    echo "|    tool/lint/clang_format_ci.sh ${BASE_SHA} "
+    echo "| Clang-format failures found! Run: "
+    echo "|    tools/lint/clang_format_ci.sh ${BASE_SHA} "
     echo "| to fix this error. "
-    echo "| For more info, see: "
+    echo "| For more info, see: https://mxnet.apache.org/versions/master/community/clang_format_guide"
     echo "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"
-    
+
     echo "$GIT_DIFFERENCE"
     git remote remove "${GITHUB_RUN_ID}" # temporary remote is removed
     exit 1
diff --git a/tools/lint/clang_format_ci.sh b/tools/lint/clang_format_ci.sh
index 41823b4..1031f81 100755
--- a/tools/lint/clang_format_ci.sh
+++ b/tools/lint/clang_format_ci.sh
@@ -16,5 +16,5 @@
 # under the License.
 
 #!/bin/sh
-set -eux 
+set -eu 
     tools/lint/git-clang-format-13 --verbose "$1" --