From cfc1b909a3f9a912b10c8d779d5b72c31b218f73 Mon Sep 17 00:00:00 2001 From: Michiel Borkent Date: Fri, 7 Feb 2020 20:48:13 +0100 Subject: [PATCH] Update dev.md --- doc/dev.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/dev.md b/doc/dev.md index 6c3d4655..ec86deb0 100644 --- a/doc/dev.md +++ b/doc/dev.md @@ -43,7 +43,7 @@ Test the native version: ## Build -To build this project, set `$GRAALVM_HOME` to the GraalVM distribution directory. +To build this project, set `$GRAALVM_HOME` to the GraalVM distribution directory. Currently we are using GraalVM JDK8. Then run: