From e586e35ff1c26126d83509ffd9c563a05972f21f Mon Sep 17 00:00:00 2001
From: probonopd <probonopd@users.noreply.github.com>
Date: Sat, 12 Jan 2019 14:00:02 +0000
Subject: [PATCH] CMake

[ci skip]
---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index db4342b..5946dc6 100644
--- a/README.md
+++ b/README.md
@@ -226,6 +226,7 @@ __CMake__ wants `DESTDIR` instead:
 Some applications have the bad habit of relying on CMake versions newer than what comes with the oldest still-supported distributions. In this case, install a newer CMake with
 
 ```
+  - sudo rm -rf /usr/bin/cmake /usr/local/cmake-* /usr/local/bin/cmake || true # Needed on Travis CI; don't do this on other systems!
   - wget "https://github.com/Kitware/CMake/releases/download/v3.13.2/cmake-3.13.2-Linux-x86_64.tar.gz" ; sudo tar xf  cmake*.tar.gz --strip-components=1 -C /usr
 ```