Best way to update gcc-wrapper

I finally upgraded to gcc--3.2.2 (from gcc--3.2) and realized that I needed
to upgrade gcc-wrapper as well.

I edited my team's package/gcc-wrapper.xml file to show the new version
number in two places. Then I wondered how to deploy the change.

First I tried

  ark package reveal --verbose gcc-wrapper

but nothing happened.  Ark knew that it had previously revealed this
package.

I found a clue in the automount-maps package description on "Sidai team: the
`*-config' packages" page of the Ark web site:
http://ark.sourceforge.net/sidai-config-pkgs.html.  It said,

  When we make changes to the maps, we run 

    sidai/package-utils/ark-invasive automount-maps

  to re-do things.

Snooping around, I found this additional guidance on the "Sidai team: notes
on booting ARK stuff" web page: http://ark.sourceforge.net/ark-boot.html.
It said,

  ToDo: say something about `ark-invasive' ...?

Well, nothing ventured, nothing gained.  After examining ark-invasive and
ark-redo in the sidai/package-utils directory, I tried

  ark-invasive gcc-wrapper

Ark cleaned out the old version and installed the new.  The only substantive
change was the gcc version number, 3.2.2, in the file
/our/lib/sidai-wrapper/default-gcc.

Did I overlook some easier way to update the version number in that file?
--

Joel Shprentz
National Imagery and Mapping Agency
Mailstop N-17
Washington Navy Yard, Building 213
1200 First Street, SE
Washington, DC 20303-0001

202-685-3534




-------------------------------------------------------
This SF.net email is sponsored by: Etnus, makers of TotalView, The debugger 
for complex code. Debugging C/C++ programs can leave you feeling lost and 
disoriented. TotalView can help you find your way. Available on major UNIX 
and Linux platforms. Try it free. www.etnus.com