X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fset.q;h=89ce0383c665ccffb47f6c01587f2307b10c9f57;hb=067d02c2b8c591efc368cf5127c497313d7a373f;hp=120606fb66eddc3822a1f370fda4f5c9c42778fe;hpb=3caec9acde088184ec125733b3bdfd7e1cd019a8;p=pspp

diff --git a/src/set.q b/src/set.q
index 120606fb66..89ce0383c6 100644
--- a/src/set.q
+++ b/src/set.q
@@ -1104,10 +1104,10 @@ init_settings(void)
 
 #if !USE_INTERNAL_PAGER
   {
-    char *pager;
+    const char *pager = getenv ("STAT_PAGER");
 
-    pager = getenv ("STAT_PAGER");
-    if (!pager)  set_pager = getenv ("PAGER");
+    if (!pager)  
+    	set_pager = xstrdup (getenv ("PAGER") );
 
     if (pager)  
       set_pager = xstrdup (pager);