6c75720
diff -ru z/ckucmd.c k/ckucmd.c
6c75720
--- z/ckucmd.c	2004-01-07 10:04:04.000000000 -0800
6c75720
+++ k/ckucmd.c	2019-01-01 15:52:44.798864262 -0800
6c75720
@@ -7103,7 +7103,7 @@
6c75720
 
6c75720
 /* Here we must look inside the stdin buffer - highly platform dependent */
6c75720
 
6c75720
-#ifdef _IO_file_flags			/* Linux */
6c75720
+#ifdef _IO_EOF_SEEN			/* Linux */
6c75720
     x = (int) ((stdin->_IO_read_end) - (stdin->_IO_read_ptr));
6c75720
     debug(F101,"cmdconchk _IO_file_flags","",x);
6c75720
 #else  /* _IO_file_flags */