diff options
Diffstat (limited to 'ddb/db_command.h')
| -rw-r--r-- | ddb/db_command.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ddb/db_command.h b/ddb/db_command.h index 634dd9d..4208bda 100644 --- a/ddb/db_command.h +++ b/ddb/db_command.h @@ -41,7 +41,7 @@ #include <machine/setjmp.h> extern void db_command_loop(void); -extern boolean_t db_option(const char *, int); +extern boolean_t db_option(const char *, int) __attribute__ ((pure)); extern void db_error(const char *) __attribute__ ((noreturn)); /* report error */ |