(EBADF): Fail with `#error ...' if it's not defined,

asking the user to report the problem.

diff --git a/lib/closeout.c b/lib/closeout.c
index 14aa1d3624b047ec96adc44a5aac2dcf7a1b1b1b..06ae79cd312a1427ab6cb9c5bc84fb14bbec06d7 100644 (file)
--- a/lib/closeout.c
+++ b/lib/closeout.c
@@ -39,6 +39,13 @@
 # include "unlocked-io.h"
 #endif
 
+/* If EBADF is not defined then the code below can't possibly work --
+   we'll need to know what value errno is set to when fclose fails to
+   close an already-closed stream.  Ask the user to report it.  */
+#ifndef EBADF
+# error "EBADF is not defined: please report this to bug-gnulib@gnu.org"
+#endif
+
 static const char *file_name;
 
 /* Set the file name to be reported in the event an error is detected