profile tests patch

[Paolo Carlini]

Il 25/11/10 22.40, François Dumont ha scritto:
> Hi
>
>     This a patch to fix tests when run in debug mode. I use the same 
> approach as for the other modes, a dg-require-profile-mode so that the 
> tests are only run when using check-profile but not when using 
> check-debug. I also replace the recently introduce 'file delete' call 
> by a 'remote_file build delete' call.
Patch is fine, thanks.

Paolo.