avoid re-configuring
This commit is contained in:
parent
c698d34b03
commit
456a82965e
1 changed files with 3 additions and 1 deletions
|
@ -23,7 +23,9 @@ withcyg () {
|
||||||
cabal install --only-dependencies || true
|
cabal install --only-dependencies || true
|
||||||
|
|
||||||
# Build git-annex
|
# Build git-annex
|
||||||
withcyg cabal configure
|
if [ ! -e "dist/setup-config" ]; then
|
||||||
|
withcyg cabal configure
|
||||||
|
fi
|
||||||
withcyg cabal build || true
|
withcyg cabal build || true
|
||||||
ghc --make Build/EvilLinker
|
ghc --make Build/EvilLinker
|
||||||
withcyg Build/EvilLinker
|
withcyg Build/EvilLinker
|
||||||
|
|
Loading…
Reference in a new issue