From 680bcc894b3db63cd9bcd685640c459cbd4343ad Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Wed, 13 Feb 2013 17:37:25 +0100
Subject: [PATCH] Add option -X to less, to avoid to clear the screen.

---
 tools/check_dist_archive | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/check_dist_archive b/tools/check_dist_archive
index 38fe76d02e..7937222119 100755
--- 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" | less -R -F
+        "$colordiff" | less -R -F -X
     else
-        less -F
+        less -F -X
     fi
 }
 
-- 
2.20.1