[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
Re: [eclipse-dev] How to always invoke a builder
|
This is a development list, please ask on Eclipse Community forums:
http://www.eclipse.org/forums/(Embedded image moved to file: pic29164.gif)
or #eclipse channel (http://wiki.eclipse.org/index.php/IRC(Embedded image
moved to file: pic20221.gif)).
--
Szymon Brandys
From: Michael Rüegg <rueegg.michael@xxxxxxxxx>
To: eclipse-dev@xxxxxxxxxxx
Date: 2010-12-15 16:55
Subject: [eclipse-dev] How to always invoke a builder
Sent by: eclipse-dev-bounces@xxxxxxxxxxx
Hi,
In my plug-in I always want to run my builder when the user manually
requests a project build even when there have been no changes in the
project at all. I have to do this because the tool I call in my builder
itself does incremental builds. Basically I want to have the same
behaviour as the Eclipse CDT Make plug-in which always invokes make. I
now call forgetLastBuiltState() in my builder which actually works fine
when "build automatically" is switched off.
My problem is that when automatic build is activated, my builder gets
called endlessly. Here is some code to show you how my builder works:
build() {
try {
removeAllMarkers(project);
runExternalTool(args, monitor, project);
refreshProject(monitor, project);
} catch (Exception e) {
// error handling
} finally {
forgetLastBuiltState();
}
return null;
}
Do you know how I can accomplish that my builder is always called when
requested but without the issues mentioned when automatic build is
turned on? Could it be that the problem is that all three commands
(remove markers, run the tool which changes workspace resources, and
refresh) create resource change events which retrigger a build?
Thanks,
Michael
_______________________________________________
eclipse-dev mailing list
eclipse-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe
from this list, visit
https://dev.eclipse.org/mailman/listinfo/eclipse-dev
Attachment:
pic29164.gif
Description: GIF image
Attachment:
pic20221.gif
Description: GIF image