Merge pull request #535 from OCR-D/patch-bashlib-minversion-set-x

bashlib: avoid activating set -x
OCR-D · Jul 21, 2020 · 4872b39 · 4872b39
2 parents 71efa5f + 355c9fa
commit 4872b39
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/ocrd/bashlib/src/logging.bash b/ocrd/bashlib/src/logging.bash
@@ -23,7 +23,6 @@ ocrd__log () {
 ## Ensure minimum version
 # ht https://stackoverflow.com/posts/4025065
 ocrd__minversion () {
-    set -x
     local minversion="$1"
     local version=$(ocrd --version|sed 's/ocrd, version //')
     echo "$minversion < $version?"

diff --git a/ocrd/ocrd/lib.bash b/ocrd/ocrd/lib.bash
@@ -30,7 +30,6 @@ ocrd__log () {
 ## Ensure minimum version
 # ht https://stackoverflow.com/posts/4025065
 ocrd__minversion () {
-    set -x
     local minversion="$1"
     local version=$(ocrd --version|sed 's/ocrd, version //')
     echo "$minversion < $version?"