X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Ffile-name.c;h=e9411b65d950d444ee07dbfd155bdaeb982d1351;hb=dd5535725f86158e55b3fc263c17058005b0c0a5;hp=14afd60e53be5f86e01963d6f0a9aa08927e5de3;hpb=d75247c28e0dce9c21070e4ee14fdc6a2338fb77;p=pspp

diff --git a/src/data/file-name.c b/src/data/file-name.c
index 14afd60e53..e9411b65d9 100644
--- a/src/data/file-name.c
+++ b/src/data/file-name.c
@@ -138,6 +138,7 @@ fn_search_path (const char *base_name, const char *path_)
       if (!ds_is_empty (&file) && !ISSLASH (ds_last (&file)))
 	ds_put_char (&file, '/');
       ds_put_cstr (&file, base_name);
+      ds_relocate (&file);
 
       /* Check whether file exists. */
       if (fn_exists (ds_cstr (&file)))