[cdt-dev] workspace refresh after build

[cdt-dev] workspace refresh after build

From: Alena Laskavaia <elaskavaia.cdt@xxxxxxxxx>
Date: Fri, 23 Jul 2010 13:58:56 -0400
Delivered-to: cdt-dev@xxxxxxxxxxx
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:reply-to:date:x-google-sender-auth:message-id :subject:from:to:content-type; b=waRZzy5gIxdfURLIrQ8e5s27TdWo8nkP7aYJVH+349BkkbDKpxsC7XHIApSFIp0kLc rNzLaNXNN2f8EUw0t/jJG76TEtRMVtvzzY3Xj9mypbH2KaYmwAzK1CfJdI+b4d/3UA/E ePN6vEzPbis4o+YNOxDm0BgCjuiQeuo2vSWOM=
List-archive: <https://dev.eclipse.org/mailman/private/cdt-dev>
List-help: <mailto:cdt-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/cdt-dev>, <mailto:cdt-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/listinfo/cdt-dev>, <mailto:cdt-dev-request@eclipse.org?subject=unsubscribe>

I though somebody added a feature to suppress workspace refresh after
build is done, but I cannot find
it in build properties, was I dreaming?

Follow-Ups:
- Re: [cdt-dev] workspace refresh after build
  - From: James Blackburn
- Re: [cdt-dev] workspace refresh after build
  - From: Tobias Hahn
- Re: [cdt-dev] workspace refresh after build
  - From: Andrew Gvozdev
- Re: [cdt-dev] workspace refresh after build
  - From: Doug Schaefer