===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2018/parse/glob.c,v
retrieving revision 1.1
retrieving revision 1.5
diff -u -p -r1.1 -r1.5
--- OpenXM_contrib2/asir2018/parse/glob.c	2018/09/19 05:45:08	1.1
+++ OpenXM_contrib2/asir2018/parse/glob.c	2020/03/29 17:01:55	1.5
@@ -45,7 +45,7 @@
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  *
- * $OpenXM$
+ * $OpenXM: OpenXM_contrib2/asir2018/parse/glob.c,v 1.4 2019/12/13 14:40:50 fujimoto Exp $
 */
 #include "ca.h"
 #include "al.h"
@@ -567,9 +567,10 @@ void int_handler(int sig)
     return;
   }
 #endif
-#if defined(linux)
+#if !defined(ANDROID) && defined(linux)
 #if 1
-  while ( stdin->_IO_read_ptr < stdin->_IO_read_end )
+//  while ( stdin->_IO_read_ptr < stdin->_IO_read_end )
+    while ( __freadable(stdin) )
 #else
   while ( stdin->_gptr < stdin->_egptr )
 #endif
@@ -853,7 +854,7 @@ char *get_asir_distribution();
 
 char *get_gcversion() 
 {
-  return "GC 7.2 copyright 1988-2012, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n";
+  return "GC 7.4.2 copyright 1988-2015, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n";
 }
 
 char *get_pariversion() 
@@ -881,7 +882,7 @@ char *scopyright()
   static char *notice;
   char *s1, *s2, *s3, *s4;
   int d, len;
-  char *format = "This is Risa/Asir%s, Version %d (%s Distribution).\nCopyright (C) 1994-2000, all rights reserved, FUJITSU LABORATORIES LIMITED.\nCopyright 2000-2007, Risa/Asir committers, http://www.openxm.org/.\n%s%s";
+  char *format = "This is Risa/Asir%s, full GMP Version %d (%s Distribution).\nCopyright (C) 1994-2000, all rights reserved, FUJITSU LABORATORIES LIMITED.\nCopyright 2000-2019, Risa/Asir committers, http://www.openxm.org/.\n%s%s";
   if (!notice) {
     s1 = get_intervalversion();
     s2 = get_asir_distribution();