1 files changed, 7 insertions, 0 deletions
diff --git a/lib/util.sh b/lib/util.sh
index 7fc1073..c894304 100644
--- a/lib/util.sh
+++ b/lib/util.sh
@@ -171,6 +171,13 @@ join_by()
     echo "$*"
 }
 
+log_verbose()
+{
+    if [[ $ktest_verbose != 0 ]]; then
+	echo "$@"
+    fi
+}
+
 run_quiet()
 {
     local msg=$1