Update overflow-protection.rst

second-state · Jul 24, 2018 · cc6c16c · cc6c16c
1 parent e5bf765
commit cc6c16c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/overflow-protection.rst b/docs/overflow-protection.rst
@@ -18,6 +18,7 @@ First we need to use lity branch of travis:
   git checkout lity
 
   # Install libeni
+  sudo rm -rf $HOME/.travis
   wget -O $HOME/libeni.tgz https://github.com/CyberMiles/libeni/releases/download/v1.2.0/libeni-1.2.0_ubuntu-16.04.tgz
   tar zxvf $HOME/libeni.tgz -C $HOME
   mkdir -p $HOME/.travis/eni