diff options
Diffstat (limited to 'stubdom/Makefile')
-rw-r--r-- | stubdom/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stubdom/Makefile b/stubdom/Makefile index f259079a9f..db4305f865 100644 --- a/stubdom/Makefile +++ b/stubdom/Makefile @@ -320,8 +320,8 @@ clean: $(MAKE) -C caml clean $(MAKE) -C c clean $(MAKE) -C grub clean - [ ! -d libxc ] || $$(MAKE) -C libxc clean - [ ! -d ioemu ] || $$(MAKE) -C ioemu clean + [ ! -d libxc ] || $(MAKE) -C libxc clean + [ ! -d ioemu ] || $(MAKE) -C ioemu clean # clean the cross-compilation result .PHONY: crossclean |