X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fcommand.c;h=62538c64ff677465e18c25767c79d7aba3bcada3;hb=7a887989fb1da56ebd264ee3338c1472c7e40a51;hp=1688a10eb6e3472dc5fa7e3ae0a21134827fc006;hpb=c3bd77adba5746aae895e6a354aada4e694c0e3f;p=pspp

diff --git a/src/language/command.c b/src/language/command.c
index 1688a10eb6..62538c64ff 100644
--- a/src/language/command.c
+++ b/src/language/command.c
@@ -31,7 +31,6 @@
 #include <data/variable.h>
 #include <language/lexer/lexer.h>
 #include <language/prompt.h>
-#include <libpspp/alloc.h>
 #include <libpspp/assertion.h>
 #include <libpspp/compiler.h>
 #include <libpspp/message.h>
@@ -49,6 +48,9 @@
 #include <readline/readline.h>
 #endif
 
+#include "xalloc.h"
+#include "xmalloca.h"
+
 #include "gettext.h"
 #define _(msgid) gettext (msgid)
 #define N_(msgid) msgid
@@ -777,7 +779,7 @@ shell (void)
 	{
 	  const char *cp = strrchr (shell_fn, '/');
 	  cp = cp ? &cp[1] : shell_fn;
-	  shell_process = local_alloc (strlen (cp) + 8);
+	  shell_process = xmalloca (strlen (cp) + 8);
 	  strcpy (shell_process, "-");
 	  strcat (shell_process, cp);
 	  if (strcmp (cp, "sh"))