diff --git a/jenkins-build.sh b/jenkins-build.sh index bf1aaedb..14039265 100755 --- a/jenkins-build.sh +++ b/jenkins-build.sh @@ -1,6 +1,7 @@ #!/bin/bash -ex cabal update +rm -rf patching/tarballs (cd patching/ && ./scripts/create-tarballs.sh) cabal install cabal install Cabal-$(cabal --version | sed -n 's@using version \(.*\) of the Cabal library@\1@p')