From 6dc3cbcd2952f2c8c2fb589807ede06e09f87391 Mon Sep 17 00:00:00 2001
From: Joel Bodenmann <joel@unormal.org>
Date: Sun, 11 May 2014 15:00:03 +0200
Subject: [PATCH] GFILE rules bug fix

---
 src/gfile/sys_options.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/gfile/sys_options.h b/src/gfile/sys_options.h
index 6e36e6b7..564cc2d7 100644
--- a/src/gfile/sys_options.h
+++ b/src/gfile/sys_options.h
@@ -133,7 +133,7 @@
 	 * @brief  Add floating point support to printg/scang etc.
 	 */
 	#ifndef GFILE_ALLOW_FLOATS
-		#define GFILE_ALLOW_FLOATS
+		#define GFILE_ALLOW_FLOATS	FALSE
 	#endif
 	/**
 	 * @brief   Can the device be specified as part of the file name.