remove unnecessary clean
This commit is contained in:
parent
cd31b69ff6
commit
b46d37a76c
1 changed files with 0 additions and 3 deletions
|
@ -29,9 +29,6 @@ export UPGRADE_LOCATION
|
||||||
FORCE_GIT_VERSION=1.9.5
|
FORCE_GIT_VERSION=1.9.5
|
||||||
export FORCE_GIT_VERSION
|
export FORCE_GIT_VERSION
|
||||||
|
|
||||||
cabal clean
|
|
||||||
rm -rf dist dist.old || mv -v dist dist.old
|
|
||||||
|
|
||||||
# Uncomment to get rid of cabal installed libraries.
|
# Uncomment to get rid of cabal installed libraries.
|
||||||
#rm -rf /c/Users/jenkins/AppData/Roaming/cabal /c/Users/jenkins/AppData/Roaming/ghc
|
#rm -rf /c/Users/jenkins/AppData/Roaming/cabal /c/Users/jenkins/AppData/Roaming/ghc
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue