1 files changed, 1 insertions, 1 deletions
diff --git a/src/third_party/wiredtiger/dist/s_tags b/src/third_party/wiredtiger/dist/s_tags
index 4785300f336..52449aca582 100755
--- a/src/third_party/wiredtiger/dist/s_tags
+++ b/src/third_party/wiredtiger/dist/s_tags
@@ -14,7 +14,7 @@ test -f s_tags || {
 
 # We require ctags which may not be installed.
 type ctags > /dev/null 2>&1 || {
-	echo 'skipped: ctags not found'
+	echo "$0 skipped: ctags not found"
 	exit 0
 }