Account Options

  1. Sign in
The old Google Groups will be going away soon, but your browser is incompatible with the new version.
Google Groups Home
« Groups Home
Message from discussion Setting derived flag

Received: by 10.14.126.200 with SMTP id b48mr724740eei.40.1307746793712;
        Fri, 10 Jun 2011 15:59:53 -0700 (PDT)
X-BeenThere: scala-ide-user@googlegroups.com
Received: by 10.14.11.92 with SMTP id 68ls281005eew.4.gmail; Fri, 10 Jun 2011
 15:59:51 -0700 (PDT)
Received: by 10.14.10.157 with SMTP id 29mr759231eev.28.1307746791778;
        Fri, 10 Jun 2011 15:59:51 -0700 (PDT)
Received: by 10.14.10.157 with SMTP id 29mr759230eev.28.1307746791765;
        Fri, 10 Jun 2011 15:59:51 -0700 (PDT)
Return-Path: <goo...@rkuhn.info>
Received: from mailhost.rkuhn.info (rk.rkuhn.info [188.40.99.246])
        by gmr-mx.google.com with ESMTP id x47si2138824eef.1.2011.06.10.15.59.51;
        Fri, 10 Jun 2011 15:59:51 -0700 (PDT)
Received-SPF: pass (google.com: best guess record for domain of goo...@rkuhn.info designates 188.40.99.246 as permitted sender) client-ip=188.40.99.246;
Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of goo...@rkuhn.info designates 188.40.99.246 as permitted sender) smtp.mail=goo...@rkuhn.info
Received: from localhost (localhost [127.0.0.1])
	by mailhost.rkuhn.info (Postfix) with ESMTP id 94CA43F8319;
	Sat, 11 Jun 2011 00:59:51 +0200 (CEST)
Received: from mailhost.rkuhn.info ([127.0.0.1])
	by localhost (rk.rkuhn.info [127.0.0.1]) (amavisd-new, port 10024)
	with ESMTP id oF5QD+Vx1n4i; Sat, 11 Jun 2011 00:59:51 +0200 (CEST)
Received: from shadowfax.local (host-188-174-170-160.customer.m-online.net [188.174.170.160])
	by mailhost.rkuhn.info (Postfix) with ESMTPS id 6EDEE3F8315;
	Sat, 11 Jun 2011 00:59:51 +0200 (CEST)
Received: from [127.0.0.1] (localhost [127.0.0.1])
	by shadowfax.local (Postfix) with ESMTP id B6F4A28F5C1;
	Sat, 11 Jun 2011 00:59:50 +0200 (CEST)
Subject: Re: [scala-ide-user] Setting derived flag
Mime-Version: 1.0 (Apple Message framework v1084)
Content-Type: text/plain; charset=windows-1252
From: Roland Kuhn <goo...@rkuhn.info>
In-Reply-To: <5c6704e9-da16-4c2c-8ad4-2e47db4b3303@dq9g2000vbb.googlegroups.com>
Date: Sat, 11 Jun 2011 00:59:50 +0200
Content-Transfer-Encoding: quoted-printable
Message-Id: <3530E9F1-8879-4801-9D40-CE20AFAA1...@rkuhn.info>
References: <5c6704e9-da16-4c2c-8ad4-2e47db4b3...@dq9g2000vbb.googlegroups.com>
To: scala-ide-user@googlegroups.com
X-Mailer: Apple Mail (2.1084)

Are you using Maven? Sometimes, this =93setting derived flags=94 message =
just stays there while the maven builder runs over the project (again).

On Jun 10, 2011, at 11:07 , Jean-Philippe Pellet wrote:

> I'm now working with beta4 and Scala 2.8.2, and mostly very happy with
> it. Congrats to everyone for improving the IDE by such a huge amount
> in the past months!
>=20
> I've noticed that after compilation, a seemingly significant amount of
> time is spent setting derived flags. It is due to the fact that
> setting those flags is long, or that updating the UI with the name of
> the files takes time? In the latter case, would it help speed things
> up to simply write "Setting derived flags=85" without updating the
> filename for each processed file?
>=20
> Just wondering.
>=20
> Best,
> J.-P.