X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Foutput.c;h=9527c46f210e5994624964c4f7cdc2cc9318463f;hb=5de8102af0956488f48ae9bf4941e5867a0f1260;hp=58750724ccda57f332f48c79bead89c465158927;hpb=3d2d7cd7e835a1f49fb24e629972dd5d99d872ab;p=pspp-builds.git

diff --git a/src/output/output.c b/src/output/output.c
index 58750724..9527c46f 100644
--- a/src/output/output.c
+++ b/src/output/output.c
@@ -82,7 +82,6 @@ char *outp_subtitle;
 static int disabled_devices;
 
 static void destroy_driver (struct outp_driver *);
-static void configure_driver_line (struct substring);
 static void configure_driver (const struct substring, const struct substring,
                               const struct substring, const struct substring);
 
@@ -318,7 +317,7 @@ outp_read_devices (void)
 	      struct outp_names *n = search_names (cp, ep);
 	      if (n)
 		{
-		  configure_driver_line (ds_ss (&line));
+		  outp_configure_driver_line (ds_ss (&line));
 		  delete_name (n);
 		}
 	    }
@@ -733,8 +732,8 @@ configure_driver (struct substring driver_name, struct substring class_name,
    DRIVERNAME:CLASSNAME:DEVICETYPE:OPTIONS
    Adds a driver to outp_driver_list pursuant to the specification
    provided.  */
-static void
-configure_driver_line (struct substring line_)
+void
+outp_configure_driver_line (struct substring line_)
 {
   struct string line = DS_EMPTY_INITIALIZER;
   struct substring tokens[4];