X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fglob.c;h=5b35a9f1dbeb02c52f721a1dca431f625ffce373;hb=cd7b08ad5e6bbec75e778acf008f84e1eb548154;hp=457be8ace071b856fff5cd17d5fc5dd94d14bd16;hpb=eeb3352d718b0cd85afab3f7a7466fcac7791c1c;p=pspp-builds.git

diff --git a/src/glob.c b/src/glob.c
index 457be8ac..5b35a9f1 100644
--- a/src/glob.c
+++ b/src/glob.c
@@ -185,7 +185,7 @@ done_glob(void)
 {
   dict_destroy(default_dict);
   free(logfn);
-  done_settings();
+  /* done_settings(); */
   ds_destroy (&tokstr);
 }