[gps-users] latest snapshot dated 20080117

[Vo, Anh (US SSA)]

The clean duplication menu has gone away. It turns out to be my mistake.
I untared the latest snapshot on top of the same directory, where old
version of snapshot was untared, before installation.

AV

-----Original Message-----
From: gps-users-bounces at LISTS.eu.adacore.com
[mailto:gps-users-bounces at LISTS.eu.adacore.com] On Behalf Of Vo, Anh (US
SSA)
Sent: Monday, January 21, 2008 9:31 AM
To: Arnaud Charlet
Cc: gps-users at LISTS.eu.adacore.com
Subject: Re: [gps-users] latest snapshot dated 20080117
[...]

> > 2. When selecting Build -> Clean, Root Project and All are displayed
> > more than once (they are repeated below the first).

> I suspect you installed a new GPS on top of an existing GPS install,
and
> now have both the old gnatclean.xml plug-in, and the new gnatclean.py

I removed every thing including installed directory, gps-snapshot, and
~$HOME/.gps then reinstalled gps-snapshot from the latest one. However,
the result remained the same as shown below

Build -> Clean -> Root Project
                  All
                  Root Project
                  All