Oops. Cut-n-paste error after the patch didn't apply straight from the email
text. Fixed.
 -- Keir
On 1/8/08 15:36, "Christoph Egger" <Christoph.Egger@xxxxxxx> wrote:
>
> Keir: In c/s 18211, why $$(MAKE) instead of $(MAKE) ?
>
> Christoph
>
>
> On Friday 01 August 2008 16:26:33 Christoph Egger wrote:
>> On Friday 01 August 2008 16:18:20 Samuel Thibault wrote:
>>> Christoph Egger, le Fri 01 Aug 2008 16:14:56 +0200, a écrit :
>>>> gmake: *** libxc: No such file or directory. Stop.
>>> 
>>> Ah, right.
>>> 
>>> Samuel
>>> 
>>> 
>>> stubdom: fix clean target after distclean
>>> 
>>> Signed-off-by: Samuel Thibault <samuel.thibault@xxxxxxxxxxxxx>
>>> 
>>> diff -r 3dedb6209991 stubdom/Makefile
>>> --- a/stubdom/Makefile Fri Aug 01 12:18:02 2008 +0100
>>> +++ b/stubdom/Makefile Fri Aug 01 15:17:46 2008 +0100
>>> @@ -321,8 +321,8 @@ clean:
>>> $(MAKE) -C caml clean
>>> $(MAKE) -C c clean
>>> $(MAKE) -C grub clean
>>> - $(MAKE) -C libxc clean
>>> - $(MAKE) -C ioemu clean
>>> + [ ! -d libxc ] || $(MAKE) -C libxc clean
>>> + [ ! -d ioemu ] || $(MAKE) -C ioemu clean
>>> 
>>> # clean the cross-compilation result
>>> .PHONY: crossclean
>> 
>> Yes, this patch works. Tnx.
>> 
>> Christoph
>
>
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel