summaryrefslogtreecommitdiff
path: root/ddb/db_command.c
diff options
context:
space:
mode:
authorMarin Ramesa <mpr@hi.t-com.hr>2013-12-20 13:29:00 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-12-20 23:51:47 +0100
commitbe1ce42e936c96776b661ba5a93b0c9d0d76bb31 (patch)
treeacbb27da29a312d03fbed7cce1f2069c44cfcfd9 /ddb/db_command.c
parent2b33e316ac0d14b564ade0dd6fc3be136e945926 (diff)
Mark pure functions with attribute pure
Diffstat (limited to 'ddb/db_command.c')
-rw-r--r--ddb/db_command.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/ddb/db_command.c b/ddb/db_command.c
index 3257e07..3879ec5 100644
--- a/ddb/db_command.c
+++ b/ddb/db_command.c
@@ -522,7 +522,7 @@ db_fncall(void)
db_printf(" %#N\n", retval);
}
-boolean_t
+boolean_t __attribute__ ((pure))
db_option(modif, option)
const char *modif;
int option;