From 50415b3acab9362797dde0b80e0ccc4841e52b74 Mon Sep 17 00:00:00 2001
From: Michael Brown <mcb30@etherboot.org>
Date: Thu, 1 Jun 2006 12:11:09 +0000
Subject: [PATCH] Make DBG_DISCARD correct

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

diff --git a/src/include/compiler.h b/src/include/compiler.h
index 08a2d364..f2e63f1d 100644
--- a/src/include/compiler.h
+++ b/src/include/compiler.h
@@ -124,7 +124,7 @@ __asm__ ( ".equ\tDEBUG_LEVEL, " DEBUG_SYMBOL_STR );
 #endif
 
 #define DBG_PRINT(...) printf ( __VA_ARGS__ )
-#define DBG_DISCARD(...)
+#define DBG_DISCARD(...) do {} while ( 0 )
 #define DBG  DBG_DISCARD
 #define DBG2 DBG_DISCARD