main.hh
changeset 654 7421cb63defa
parent 645 e01ede1c9862
child 760 d736dc9e9e51
--- a/main.hh	Fri Aug 31 19:30:48 2012 +0100
+++ b/main.hh	Sat Sep 08 10:44:04 2012 +0100
@@ -40,8 +40,7 @@
 #include <stddef.h>  /* required for NULL */
  
 #define ERROR               error_exit(__FILE__,__LINE__)
-#define ERROR_MSG(msg, ...) error_exit(__FILE__,__LINE__, msg)
-// #define ERROR_MSG(msg, ...) error_exit(__FILE__,__LINE__, msg, __VA_ARGS__)
+#define ERROR_MSG(msg, ...) error_exit(__FILE__,__LINE__, msg, ## __VA_ARGS__)
 
 extern void error_exit(const char *file_name, int line_no, const char *errmsg = NULL, ...);
 
@@ -129,4 +128,4 @@
 #include <inttypes.h>
 
 
-#endif // #ifndef _MAIN_HH
\ No newline at end of file
+#endif // #ifndef _MAIN_HH