diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2018-05-28 10:14:03 +0200 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2018-05-28 10:14:03 +0200 |
| commit | e862968305af0adbba9adcddc1e2c209602a82a4 (patch) | |
| tree | dbbfa01ef2504ac7e39171bc02b87c4265891830 /src/runtime/java/INSTALL | |
| parent | 4c5fc9f3a891f281625f5d5c0269cfaf09725a7c (diff) | |
added comment for Windows
Diffstat (limited to 'src/runtime/java/INSTALL')
| -rw-r--r-- | src/runtime/java/INSTALL | 3 |
1 files changed, 3 insertions, 0 deletions
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. |