Skip to content
This repository has been archived by the owner on Apr 25, 2021. It is now read-only.

add support for .jvmopts and .java-version to Windows launcher #111

Merged
merged 1 commit into from
Aug 24, 2016
Merged

add support for .jvmopts and .java-version to Windows launcher #111

merged 1 commit into from
Aug 24, 2016

Conversation

fommil
Copy link
Contributor

@fommil fommil commented Aug 24, 2016

Submitted subject to the disclaimer from the BSD 3 Clause License and forfeiting the Copyright notice part.

THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

@eed3si9n
Copy link
Member

LGTM pending Travis

@eed3si9n eed3si9n merged commit a6e8d62 into sbt:master Aug 24, 2016
@fommil fommil deleted the windows branch August 24, 2016 20:10
)
)
rem must set PATH or wrong javac is used for java projects
IF DEFINED JAVA_HOME SET PATH=%JAVA_HOME%\bin;%PATH%
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

FYI @dwijnand found that this is unquoted, which could lead to accidental invocation of programs.

Copy link
Contributor Author

@fommil fommil Nov 10, 2016

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ok, don't do it like you would on GNU --- quoting works differently on windows

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

See #128

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants