diff --git a/vcsh b/vcsh index 0822c9ae10c2ac3f0caf4d02fefb3aaefae37505..172ffd2ff3f53a5d1861d8d21afc7ae47763b5f2 100755 --- a/vcsh +++ b/vcsh @@ -437,7 +437,7 @@ check_dir() { if [ -e "$check_directory" ]; then fatal "'$check_directory' exists but is not a directory" 13 else - info "attempting to create '$check_directory'" + verbose "attempting to create '$check_directory'" mkdir -p "$check_directory" || fatal "could not create '$check_directory'" 50 fi fi