Re: [PATCH] Makefile: use 'rm -f' instead of rmdir

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]



2012/4/2 FUJITA Tomonori <fujita.tomonori@xxxxxxxxxxxxx>:
> I got the following error when I do 'make clean' in a "already
> cleaned" tree.
>
> rmdir: failed to remove `manpages': No such file or directory
> rmdir: failed to remove `htmlpages': No such file or directory
> make[1]: *** [clean] Error 1
>
> Signed-off-by: FUJITA Tomonori <fujita.tomonori@xxxxxxxxxxxxx>
> ---
>  doc/Makefile |    2 +-
>  1 files changed, 1 insertions(+), 1 deletions(-)
>
> diff --git a/doc/Makefile b/doc/Makefile
> index 4370fb2..13563d0 100644
> --- a/doc/Makefile
> +++ b/doc/Makefile
> @@ -30,7 +30,7 @@ install: $(MANPAGES) $(DOCS)
>  .PHONY: clean
>  clean:
>        rm -f $(XMLMAN) $(XMLHTML)
> -       rmdir manpages htmlpages
> +       rm -f manpages htmlpages

I'd suggest "-rm -f ..." - see
http://www.gnu.org/software/make/manual/make.html#Errors

Cheers,
Arne
--
To unsubscribe from this list: send the line "unsubscribe stgt" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html


[Index of Archives]     [Linux SCSI]     [Linux RAID]     [Linux Clusters]     [Linux USB Devel]     [Video for Linux]     [Linux Audio Users]     [Photo]     [Yosemite News]    [Yosemite Photos]    [Free Online Dating]     [Linux Kernel]     [XFree86]
  Powered by Linux