model-checker : cosmetics

[simgrid.git] / tools / check_dist_archive

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" | less -R -F
+        "$colordiff" | less -R -F -X
     else
-        less -F
+        less -F -X
     fi
 }