diff --git a/test/check-package b/test/check-package index 0cdc267..6fe4827 100755 --- a/test/check-package +++ b/test/check-package @@ -4,7 +4,7 @@ BACKJUMPS=10000 echo OPTIONS: $* cabal clean -cabal install --only-dependencies --force-reinstalls --max-backjumps=$BACKJUMPS --enable-tests $* +cabal install --only-dependencies --force-reinstalls --max-backjumps=$BACKJUMPS --reorder-goals --enable-tests $* cabal configure --enable-tests $* cabal build cabal test