diff options
author | David Hows <david.hows@mongodb.com> | 2017-01-23 16:05:51 +1100 |
---|---|---|
committer | David Hows <david.hows@mongodb.com> | 2017-01-23 16:06:16 +1100 |
commit | 48a3cbc17fa902528217287fd075c87efb44aebc (patch) | |
tree | fff4f814ab9fbd7f3eb4c45684f581a5da1c058c /src/utilities/util.h | |
parent | 8d2324943364286056ae399043f70b8a937de312 (diff) | |
parent | bf8de9767982da9ae0f1542f3744c8aa8544fb82 (diff) | |
download | mongodb-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.h | 1 |
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 *[]); |