Add option -X to less, to avoid to clear the screen.

diff --git a/tools/check_dist_archive b/tools/check_dist_archive
index 38fe76d..7937222 100755 (executable)
--- a/tools/check_dist_archive
+++ b/tools/check_dist_archive
@@ -94,9 +94,9 @@ diffcmd() {
 colordiff=$(type -p colordiff)
 colorless() {
     if [ -x "$colordiff" ]; then
 colordiff=$(type -p colordiff)
 colorless() {
     if [ -x "$colordiff" ]; then

-        "$colordiff" | less -R -F
+        "$colordiff" | less -R -F -X

     else
     else

-        less -F
+        less -F -X

     fi
 }
 
     fi
 }