From be1ce42e936c96776b661ba5a93b0c9d0d76bb31 Mon Sep 17 00:00:00 2001
From: Marin Ramesa <mpr@hi.t-com.hr>
Date: Fri, 20 Dec 2013 13:29:00 +0100
Subject: Mark pure functions with attribute pure

---
 ddb/db_command.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ddb/db_command.h')

diff --git a/ddb/db_command.h b/ddb/db_command.h
index 634dd9d1..4208bda8 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 */
 
-- 
cgit v1.2.3