X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fcommand-line.c;h=95b22cebf8bea93995e87833ed3fec52bf64f044;hb=9b94efd7513afdb12a6023024e00e50801532fee;hp=71d42a0483d5c159ea68a6521d6f888d1a08b112;hpb=d56946881b61c6eed503c7266840ea307bddafdd;p=pspp-builds.git

diff --git a/src/ui/terminal/command-line.c b/src/ui/terminal/command-line.c
index 71d42a04..95b22ceb 100644
--- a/src/ui/terminal/command-line.c
+++ b/src/ui/terminal/command-line.c
@@ -96,9 +96,9 @@ parse_command_line (int argc, char **argv, struct source_stream *ss)
 	  /* Compatibility options */
         case 'a':
 	  if ( 0 == strcmp(optarg,"compatible") )
-	      set_algorithm(COMPATIBLE);
+	      settings_set_algorithm(COMPATIBLE);
 	  else if ( 0 == strcmp(optarg,"enhanced"))
-	      set_algorithm(ENHANCED);
+	      settings_set_algorithm(ENHANCED);
 	  else
 	    {
 	      usage ();
@@ -108,9 +108,9 @@ parse_command_line (int argc, char **argv, struct source_stream *ss)
 
 	case 'x':
 	  if ( 0 == strcmp(optarg,"compatible") )
-	    set_syntax(COMPATIBLE);
+	    settings_set_syntax (COMPATIBLE);
 	  else if ( 0 == strcmp(optarg,"enhanced"))
-	    set_syntax(ENHANCED);
+	    settings_set_syntax (ENHANCED);
 	  else
 	    {
 	      usage ();
@@ -162,7 +162,7 @@ parse_command_line (int argc, char **argv, struct source_stream *ss)
 	  process_statrc = false;
 	  break;
 	case 's':
-	  set_safer_mode ();
+	  settings_set_safer_mode ();
 	  break;
 	case 'v':
 	  verbose_increment_level ();
@@ -172,7 +172,7 @@ parse_command_line (int argc, char **argv, struct source_stream *ss)
 	  puts (legal);
 	  return false;
         case 'T':
-          set_testing_mode (true);
+          settings_set_testing_mode (true);
           break;
 	case '?':
 	  usage ();