From a6c22fc364c25e8673488f0f5c36e3538546d898 Mon Sep 17 00:00:00 2001
From: Joel Bodenmann <joel@unormal.org>
Date: Sun, 2 Feb 2014 20:01:54 +0100
Subject: [PATCH] added _gfileDeinit() dummy

---
 src/gfile/gfile.c | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/src/gfile/gfile.c b/src/gfile/gfile.c
index e42dc2af..59dade1f 100644
--- a/src/gfile/gfile.c
+++ b/src/gfile/gfile.c
@@ -68,10 +68,8 @@ GFILE *gfileStdErr;
  */
 static const GFILEVMT const * FsChain = GFILE_CHAINHEAD;
 
-/**
- * The init routine
- */
-void _gfileInit(void) {
+void _gfileInit(void)
+{
 	#if GFILE_NEED_NATIVEFS
 		NativeStdIn.flags = GFILEFLG_OPEN|GFILEFLG_READ;
 		NativeStdIn.vmt = &FsNativeVMT;
@@ -91,6 +89,11 @@ void _gfileInit(void) {
 	#endif
 }
 
+void _gfileDeinit(void)
+{
+	/* ToDo */
+}
+
 bool_t gfileExists(const char *fname) {
 	const GFILEVMT *p;