Skip to content

Report failed compilation if errors are registered.#2271

Merged
eed3si9n merged 2 commits intosbt:0.13from
Duhemm:fix-2228
Nov 12, 2015
Merged

Report failed compilation if errors are registered.#2271
eed3si9n merged 2 commits intosbt:0.13from
Duhemm:fix-2228

Conversation

@Duhemm
Copy link
Contributor

@Duhemm Duhemm commented Nov 11, 2015

In some cases, the local java compiler may report compilation errors,
but succeed in compiling the source files (for instance, if there are
encoding problems in the source). However, the command line javac will
report a failed compilation on the same input.

To have the local java compiler behave like the forked java compiler, we
now report the compilation as failed if error messages have been
registered during compilation.

Fixes #2228

In some cases, the local java compiler may report compilation errors,
but succeed in compiling the source files (for instance, if there are
encoding problems in the source). However, the command line javac will
report a failed compilation on the same input.

To have the local java compiler behave like the forked java compiler, we
now report the compilation as failed if error messages have been
registered during compilation.

Fixes sbt#2228
@typesafe-tools
Copy link

Can one of the admins verify this patch?

@dwijnand
Copy link
Member

LGTM (for what I can see, not what I know :D)

eed3si9n added a commit that referenced this pull request Nov 12, 2015
Report failed compilation if errors are registered.
@eed3si9n eed3si9n merged commit 2226230 into sbt:0.13 Nov 12, 2015
eed3si9n added a commit to sbt/zinc that referenced this pull request Dec 7, 2015
@eed3si9n eed3si9n mentioned this pull request Jan 7, 2016
7 tasks
@Duhemm Duhemm deleted the fix-2228 branch February 8, 2016 08:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants