From 04dc5c31762c0ec5752c33b7d5ce8b387d874120 Mon Sep 17 00:00:00 2001
From: OGINO Masanori <masanori.ogino@gmail.com>
Date: Tue, 30 Jun 2015 10:06:11 +0900
Subject: [PATCH] Add `ieee-float` feature iff PIC_ENABLE_FLOAT.

Signed-off-by: OGINO Masanori <masanori.ogino@gmail.com>
---
 extlib/benz/state.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/extlib/benz/state.c b/extlib/benz/state.c
index ec9c24e5..9f5cb702 100644
--- a/extlib/benz/state.c
+++ b/extlib/benz/state.c
@@ -48,7 +48,10 @@ static void
 pic_init_features(pic_state *pic)
 {
   pic_add_feature(pic, "picrin");
+
+#if PIC_ENABLE_FLOAT
   pic_add_feature(pic, "ieee-float");
+#endif
 
 #if _POSIX_SOURCE
   pic_add_feature(pic, "posix");