diff --git a/Makefile b/Makefile index cd14e6f68b4..65d9b208827 100644 --- a/Makefile +++ b/Makefile @@ -120,9 +120,6 @@ promote: $(BIN) .PHONY: accept-corrections accept-corrections: promote -all-supported-ocaml-versions: $(BIN) - $(BIN) build @install @runtest --workspace dune-workspace.dev --root . - .PHONY: clean clean: rm -rf _boot _build diff --git a/dune-workspace.dev b/dune-workspace.dev deleted file mode 100644 index fe034d49ebd..00000000000 --- a/dune-workspace.dev +++ /dev/null @@ -1,6 +0,0 @@ -(lang dune 1.0) - -;; This file is used by `make all-supported-ocaml-versions` -(context (opam (switch 4.08.1))) -(context (opam (switch 4.09.0))) -(context (opam (switch 4.10.0)))