Thanks Christian, I will also investigate if we can customize our build to make it incremental (org.eclipse.core.resources.IncrementalProjectBuilder.INCREMENTAL_BUILD), if it's not happening already.
Kind Regards Lidia On Wed, Sep 4, 2019 at 10:54 AM Dietrich, Christian < [email protected]> wrote: > is there any reason not to fix your builder? i dont think that > property would be a good idea > _______________________________________________ > xtext-dev mailing list > [email protected] > To change your delivery options, retrieve your password, or unsubscribe > from this list, visit > https://www.eclipse.org/mailman/listinfo/xtext-dev >
_______________________________________________ xtext-dev mailing list [email protected] To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/xtext-dev
