Also skip jvmci-libs when skipping libraries

Signed-off-by: Stefan Marr <git@stefan-marr.de>
smarr · May 12, 2020 · 5a7d4a6 · 5a7d4a6
1 parent f7b96d0
commit 5a7d4a6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.xml b/build.xml
@@ -192,7 +192,7 @@
         </exec>
     </target>
 
-    <target name="jvmci-libs">
+    <target name="jvmci-libs" unless="skip.libs">
         <get src="https://github.com/graalvm/openjdk8-jvmci-builder/releases/download/${jvmci.version}/openjdk-8u${jdk8.version}-${jvmci.version}-${kernel}.tar.gz"
              usetimestamp="true"
              dest="${lib.dir}/jvmci.tar.gz" />