diff options
Diffstat (limited to 'rpmio/rpmsw.h')
| -rw-r--r-- | rpmio/rpmsw.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rpmio/rpmsw.h b/rpmio/rpmsw.h index 91f9d9cb4..48bcf1b20 100644 --- a/rpmio/rpmsw.h +++ b/rpmio/rpmsw.h @@ -61,9 +61,11 @@ rpmtime_t rpmswDiff(/*@null@*/ rpmsw end, /*@null@*/ rpmsw begin) /** Return benchmark time stamp overhead. * @return overhead in micro-seconds */ +/*@-exportlocal@*/ rpmtime_t rpmswInit(void) /*@globals internalState @*/ /*@modifes internalState @*/; +/*@=exportlocal@*/ /** \ingroup rpmio * Enter timed operation. |