*
* Copyright 1992-1998 Werner Almesberger
* Copyright 1999-2007 John Coffman
- * Copyright 2009-2010 Joachim Wiedorn
+ * Copyright 2009-2011 Joachim Wiedorn
* All rights reserved.
*
* Licensed under the terms contained in the file 'COPYING'
/* Opens the configuration file. Returns the file descriptor of the open
file. */
-void cfg_error(char *msg,...);
+void cfg_error(char *msg,...) __attribute__ ((format (printf, 1, 2)));
/* Signals an error while parsing the configuration file and terminates the
program. */