Get latest mandrel release if version not specified

Update doc.
2023-11-03 14:21:41 +02:00
parent 1c219f5b27
commit b8dc5fccfb
4 changed files with 10 additions and 2 deletions
--- a/src/mandrel.ts
+++ b/src/mandrel.ts
@@ -21,6 +21,8 @@ export async function setUpMandrel(
  const version = stripMandrelNamespace(mandrelVersion)
  let mandrelHome
  switch (version) {
+    case '':
+    // fetch latest if no version is specified
    case 'latest':
      mandrelHome = await setUpMandrelLatest(javaVersion)
      break