From: root <root@dw-6.eecs.uci.edu>
Date: Wed, 3 Jul 2019 00:26:38 +0000 (-0700)
Subject: Fix printf compile issue
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=80a013240edb4689977cae4dd91875d4569d1255;p=c11tester.git

Fix printf compile issue
---

diff --git a/printf.c b/printf.c
index b935e7b9..7564ebc4 100644
--- a/printf.c
+++ b/printf.c
@@ -144,16 +144,12 @@ static inline void _out_null(char character, void* buffer, size_t idx, size_t ma
   (void)character; (void)buffer; (void)idx; (void)maxlen;
 }
 
-// placeholder so we can compile
-void _putchar(char c) {
-}
-
 // internal _putchar wrapper
 static inline void _out_char(char character, void* buffer, size_t idx, size_t maxlen)
 {
   (void)buffer; (void)idx; (void)maxlen;
   if (character) {
-    _putchar(character);
+    //    _putchar(character);
   }
 }
 
diff --git a/printf.h b/printf.h
index 3d79ef3f..e8193c8d 100644
--- a/printf.h
+++ b/printf.h
@@ -46,7 +46,7 @@ extern "C" {
  * This function is declared here only. You have to write your custom implementation somewhere
  * \param character Character to output
  */
-void _putchar(char character);
+//void _putchar(char character);
 
 
 /**