Skip to content

Commit

Permalink
Promote disabling the lint test
Browse files Browse the repository at this point in the history
Signed-off-by: Rudi Grinberg <[email protected]>
  • Loading branch information
rgrinberg committed Dec 11, 2018
1 parent b515a86 commit 7705be5
Showing 1 changed file with 1 addition and 3 deletions.
4 changes: 1 addition & 3 deletions test/blackbox-tests/dune.inc
Original file line number Diff line number Diff line change
Expand Up @@ -1262,7 +1262,6 @@
(alias lib-available)
(alias lib-errors)
(alias link-deps)
(alias lint)
(alias loop)
(alias macro-expand-error)
(alias menhir)
Expand Down Expand Up @@ -1404,7 +1403,6 @@
(alias lib-available)
(alias lib-errors)
(alias link-deps)
(alias lint)
(alias loop)
(alias macro-expand-error)
(alias merlin-tests)
Expand Down Expand Up @@ -1453,6 +1451,6 @@
(alias wrapped-false-main-module-name)
(alias wrapped-transition)))

(alias (name runtest-disabled) (deps (alias envs-and-contexts)))
(alias (name runtest-disabled) (deps (alias envs-and-contexts) (alias lint)))

(alias (name runtest-js) (deps (alias js_of_ocaml)))

0 comments on commit 7705be5

Please sign in to comment.