Changeset 1539

Timestamp:

May 31, 2010, 5:47:04 PM (15 years ago)

Author:

John Small

Message:

ReleaseTool: Add support for PAGER env. variable

File:

• trunk/ReleaseTool.cmd (modified) (3 diffs)

trunk/ReleaseTool.cmd

@@ -41 +41 @@
  *    29 May 10 GKY Use TEE to generate log files for the build options
  *       - Use DIFF to compare changes in WARNALL builds
+ *    31 May 10 JBS Add support of use of PAGER env. variable to the the pager used.
  *
 */
@@ -185 +186 @@
             'wmake -a all | tee warnall.log |' pager
             'diff -rub warnall.base warnall.log > warnall.diff'
-            editor 'warnall.diff' 
-            'set WARNALL=' 
+            editor 'warnall.diff'
+            'set WARNALL='
             prev_action = action
          end
@@ -419 +420 @@
    version_filelist = version_filelist 'dll\copyright.h'
 
-   if SysSearchPath( 'PATH', 'less.exe') \= '' then
-      pager = 'less'
-   else
-      pager = 'more'
+   pager = value('PAGER',,'OS2ENVIRONMENT')
+   if pager = '' then
+      if SysSearchPath( 'PATH', 'less.exe') \= '' then
+         pager = 'less'
+      else
+         pager = 'more'
    prev_action = 'N/A'
 return