Mark more tests as having external deps

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
This commit is contained in:
Rudi Grinberg 2018-08-08 01:30:22 +03:00
parent 0ec0f4d279
commit 63b49f946b
2 changed files with 2 additions and 2 deletions

View File

@ -880,7 +880,6 @@
(alias findlib)
(alias findlib-error)
(alias force-test)
(alias gen-opam-install-file)
(alias github1019)
(alias github20)
(alias github24)
@ -925,7 +924,6 @@
(alias redirections)
(alias reporting-of-cycles)
(alias scope-bug)
(alias scope-ppx-bug)
(alias select)
(alias shadow-bindings)
(alias subst)

View File

@ -137,6 +137,8 @@ let exclusions =
; make "utop"~external_deps:true
; make "configurator" ~skip_platforms:[Win]
; make "github764" ~skip_platforms:[Win]
; make "gen-opam-install-file" ~external_deps:true
; make "scope-ppx-bug" ~external_deps:true
]
let all_tests = lazy (