summaryrefslogtreecommitdiff
path: root/src/utilities/util.h
diff options
context:
space:
mode:
authorDavid Hows <david.hows@mongodb.com>2017-01-23 16:05:51 +1100
committerDavid Hows <david.hows@mongodb.com>2017-01-23 16:06:16 +1100
commit48a3cbc17fa902528217287fd075c87efb44aebc (patch)
treefff4f814ab9fbd7f3eb4c45684f581a5da1c058c /src/utilities/util.h
parent8d2324943364286056ae399043f70b8a937de312 (diff)
parentbf8de9767982da9ae0f1542f3744c8aa8544fb82 (diff)
downloadmongodb-3.5.2.tar.gz
Merge branch 'develop' into mongodb-3.6mongodb-3.5.3mongodb-3.5.2
Diffstat (limited to 'src/utilities/util.h')
-rw-r--r--src/utilities/util.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/utilities/util.h b/src/utilities/util.h
index 2658d877b63..cf12d7d4aa6 100644
--- a/src/utilities/util.h
+++ b/src/utilities/util.h
@@ -49,6 +49,7 @@ int util_rename(WT_SESSION *, int, char *[]);
int util_salvage(WT_SESSION *, int, char *[]);
int util_stat(WT_SESSION *, int, char *[]);
int util_str2recno(WT_SESSION *, const char *p, uint64_t *recnop);
+int util_truncate(WT_SESSION *, int, char *[]);
int util_upgrade(WT_SESSION *, int, char *[]);
int util_verify(WT_SESSION *, int, char *[]);
int util_write(WT_SESSION *, int, char *[]);