[gps-users] gprcmd problem

[Leon Pollak]

Hello.
	I have the following situation, which seems to depend on new version of 
gprcmd:
	I update one .cpp file in the project and press F4 expecting it to be 
compiled and linked.
	If I use the gprcmd from the snapshot numbered 20040601 (the file is 319020 
bytes) everything works as expected.
	If I use the last version of gprcmd (323824 bytes), the updated file is 
ignored, library is not build and make utility goes straight to link.

	I shall be glad to provide any other help information if needed.
-- 
Leon M.Pollak
leonp at plris dot com