From e862968305af0adbba9adcddc1e2c209602a82a4 Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Mon, 28 May 2018 10:14:03 +0200
Subject: [PATCH] added comment for Windows

---
 src/runtime/java/INSTALL | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/runtime/java/INSTALL b/src/runtime/java/INSTALL
index c0e91a355..3facef134 100644
--- a/src/runtime/java/INSTALL
+++ b/src/runtime/java/INSTALL
@@ -10,3 +10,6 @@ Once this is done type:
 
 $ make
 $ make install
+
+For Windows you might have to uncomment the lines around
+WINDOWS_FLAGS in the Makefile.