diff options
author | Alex Gorrod <alexander.gorrod@mongodb.com> | 2017-02-17 11:16:55 +1100 |
---|---|---|
committer | Alex Gorrod <alexander.gorrod@mongodb.com> | 2017-02-17 11:16:55 +1100 |
commit | e1bcc30da91eedd0b17cebb725cc7e607ffa2340 (patch) | |
tree | f4cf5e09a0b9f9ec6d9e36eeb124d976f5c5b107 /src/utilities/util_main.c | |
parent | 48a3cbc17fa902528217287fd075c87efb44aebc (diff) | |
parent | 8a1adcc4a1c4c25e1270290a8eb21173f41e83a9 (diff) | |
download | mongodb-3.5.4.tar.gz |
Merge branch 'develop' into mongodb-3.6mongodb-3.5.4
Diffstat (limited to 'src/utilities/util_main.c')
-rw-r--r-- | src/utilities/util_main.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/utilities/util_main.c b/src/utilities/util_main.c index 001a66d6d9e..7157f0d90fe 100644 --- a/src/utilities/util_main.c +++ b/src/utilities/util_main.c @@ -285,11 +285,11 @@ usage(void) } /* - * util_name -- + * util_uri -- * Build a name. */ char * -util_name(WT_SESSION *session, const char *s, const char *type) +util_uri(WT_SESSION *session, const char *s, const char *type) { size_t len; char *name; |