X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput.c;h=bdbbf30a81427b5f19d2492f48682c26536ba082;hb=def7e6026513a3ee7c2b38416b30a2e890e34311;hp=64c1e8e8e780b9de4868b0add0067d9684ecd01b;hpb=c87013b64d1731dac5da8f738ae8d1b4c1030a90;p=pspp-builds.git

diff --git a/src/output.c b/src/output.c
index 64c1e8e8..bdbbf30a 100644
--- a/src/output.c
+++ b/src/output.c
@@ -74,7 +74,7 @@ char *outp_subtitle;
 
 /* A set of OUTP_DEV_* bits indicating the devices that are
    disabled. */
-int disabled_devices;
+static int disabled_devices;
 
 static void destroy_driver (struct outp_driver *);
 static void configure_driver (char *);
@@ -206,12 +206,12 @@ find_defn_value (const char *key)
       return d->value;
   if (!strcmp (key, "viewwidth"))
     {
-      sprintf (buf, "%d", set_viewwidth);
+      sprintf (buf, "%d", get_viewwidth());
       return buf;
     }
   else if (!strcmp (key, "viewlength"))
     {
-      sprintf (buf, "%d", set_viewlength);
+      sprintf (buf, "%d", get_viewlength());
       return buf;
     }
   else
@@ -455,7 +455,7 @@ outp_done (void)
 void
 outp_list_classes (void)
 {
-  int width = set_viewwidth;
+  int width = get_viewwidth();
   struct outp_driver_class_list *c;
 
   printf (_("Driver classes:\n\t"));
@@ -465,7 +465,7 @@ outp_list_classes (void)
       if ((int) strlen (c->class->name) + 1 > width)
 	{
 	  printf ("\n\t");
-	  width = set_viewwidth - 8;
+	  width = get_viewwidth() - 8;
 	}
       else
 	putc (' ', stdout);