From 010911efd67c2b0697a13dea89e7c4409b6b5ff5 Mon Sep 17 00:00:00 2001
From: Tim Biermann <tbier@posteo.de>
Date: Sun, 14 Mar 2021 13:38:24 +0100
Subject: [PATCH] openjdk11-boot: fixed issues

---
 openjdk11-boot/Pkgfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/openjdk11-boot/Pkgfile b/openjdk11-boot/Pkgfile
index 654071d..98723eb 100644
--- a/openjdk11-boot/Pkgfile
+++ b/openjdk11-boot/Pkgfile
@@ -53,7 +53,7 @@ build() {
     --with-cacerts-file=$SRC/java_cacerts-$_cert_ver
     --with-jtreg=no
     --with-boot-jdk=$JAVA_HOME
-    --with-version-opt="CRUX-r$release"
+    --with-version-opt=CRUX-r$release
     --with-version-build=${version#*+}
     --with-vendor-name=CRUX
     --with-jobs=$JOBS