diff options
| author | odanoburu <bcclaro@gmail.com> | 2018-05-28 16:22:54 -0300 |
|---|---|---|
| committer | odanoburu <bcclaro@gmail.com> | 2018-05-28 16:22:54 -0300 |
| commit | 92d476f43bc54a87dbb47fbd5cd30df79e9630ae (patch) | |
| tree | 2008c0f8ded8f70f8e533c6c6de263bc7d02bedf /src/runtime/java/INSTALL | |
| parent | d205679dcefbcab3666403933a7e7866422e0877 (diff) | |
| parent | 44e387ec16e72f3a194fc2391b47391fc49c0bab (diff) | |
Merge remote-tracking branch 'upstream/master' into por
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. |