X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fcmdline.c;h=50214db2717daeac333e2707509c6ea7769bae56;hb=d7b5d9144738a5a8989d45a01f4e458a78b68c0b;hp=6d45bd68c0aeeae04bae42d47352f4a4ad070e56;hpb=4fdeb2145d081ff1b84e3f6c99f9d1c048c0d64a;p=pspp

diff --git a/src/cmdline.c b/src/cmdline.c
index 6d45bd68c0..50214db271 100644
--- a/src/cmdline.c
+++ b/src/cmdline.c
@@ -28,7 +28,7 @@
 #include "alloc.h"
 #include "error.h"
 #include "filename.h"
-#include "getline.h"
+#include "getl.h"
 #include "main.h"
 #include "output.h"
 #include "settings.h"
@@ -38,6 +38,10 @@
 #include "copyleft.h"
 #include "glob.h"
 
+#include "gettext.h"
+#define _(msgid) gettext (msgid)
+#define N_(msgid) msgid
+
 void welcome (void);
 static void usage (void);
 
@@ -138,7 +142,7 @@ parse_command_line (int argc, char **argv)
 	  config_path = optarg;
 	  break;
 	case 'f':
-	  printf(_("%s is not yet implemented."), "-f");
+	  printf (_("%s is not yet implemented."), "-f");
           putchar('\n');
 	  break;
 	case 'h':