diff --git a/Makefile b/Makefile
index cde32d45d232..ba6526f4e7ad 100644
--- a/Makefile
+++ b/Makefile
@@ -35,7 +35,7 @@ promote:
 accept-corrections: promote
 
 all-supported-ocaml-versions:
-	$(BIN) build --dev @install @runtest --workspace jbuild-workspace.dev --root .
+	$(BIN) build --dev @install @runtest --workspace dune-workspace.dev --root .
 
 clean:
 	$(BIN) clean
diff --git a/jbuild-workspace.dev b/dune-workspace.dev
similarity index 100%
rename from jbuild-workspace.dev
rename to dune-workspace.dev