X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Fjavaexec;h=1e397a07b02865e649b759d3e5e1dc6bd69ef71b;hb=13ebbbd5b53127e51b34532465119c97ec6c23ca;hp=ca539105189557b9d13d872dd2afddd806cb093e;hpb=723e191a290b675e77dfc6bb82d444dc2acb807c;p=pspp

diff --git a/modules/javaexec b/modules/javaexec
index ca53910518..1e397a07b0 100644
--- a/modules/javaexec
+++ b/modules/javaexec
@@ -11,7 +11,7 @@ execute
 classpath
 xsetenv
 sh-quote
-filename
+xconcat-filename
 xalloc
 xmalloca
 error