X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fglob.c;h=c3a478abe9e57d875f60f6a00f136eacefd69a47;hb=c9b1c72477efa03e0a90f8afd9dafebc8f4b04ef;hp=235399c0be300779e1cbdafcc5a2f4bc61f8d76f;hpb=b01483eff69406430b88704dc13140bef3149f4d;p=pspp

diff --git a/src/glob.c b/src/glob.c
index 235399c0be..c3a478abe9 100644
--- a/src/glob.c
+++ b/src/glob.c
@@ -124,8 +124,8 @@ int logging;
 
 static void get_date (void);
 
-#if HAVE_LIBTERMCAP && !__CHECKER__
-static char *term_buffer;
+#if HAVE_LIBTERMCAP
+static char term_buffer[16384];
 #endif
 
 void
@@ -273,20 +273,11 @@ init_glob (int argc unused, char **argv)
     int success;
 
     /* This code stolen from termcap.info, though modified. */
-#if !__CHECKER__
-    term_buffer = xmalloc (2048);
-#endif
-
     termtype = getenv ("TERM");
     if (!termtype)
       msg (FE, _("Specify a terminal type with `setenv TERM <yourtype>'."));
 
-#if __CHECKER__
-    success = tgetent (NULL, termtype);
-#else
     success = tgetent (term_buffer, termtype);
-#endif
-
     if (success <= 0)
       {
 	if (success < 0)