www

commit bcbb5c0ef76169b32eb78250dadd2486b3bd56a1
parent 0cd45b56fec9f0c418e0bd05f328295cba430c1b
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Wed, 21 Jun 2017 17:29:46 +0200

Wrong order for options…

Diffstat:
M
.travis.yml
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.travis.yml b/.travis.yml
@@ -66,7 +66,7 @@ before_install:
 
 install:
  - raco pkg update --all --scope user
- - raco pkg install -j 2 phc-adt --deps search-auto
+ - raco pkg install -j 2 --deps search-auto phc-adt
 # - raco pkg install -j 2 --deps search-auto
 # --no-setup
 # - (while ! test -e ~/done.txt; do sleep 10; echo -n '.'; done) & raco setup -v -j 2 --pkgs phc-thesis && touch ~/done.txt