diff options
| author | Takashi Iwai <tiwai@suse.de> | 2014-10-21 12:18:12 -0400 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2014-10-22 11:50:30 -0400 |
| commit | 0684d84ce0e2f694a7818c16cb0c5c00c4ed7cb8 (patch) | |
| tree | 8874a2bd469f95caac6c68e680aa92d3b05a65b1 /Documentation | |
| parent | 60a95b772f20a286514d32daa082131721854a98 (diff) | |
DocBook: Reduce noise from make cleandocs
I've got a harmless warning when running make cleandocs on an already
cleaned tree:
Documentation/DocBook/media/Makefile:28: recipe for target 'cleanmediadocs' failed
make[1]: [cleanmediadocs] Error 1 (ignored)
Suppress this by passing -f to rm.
Acked-by: Mauro Carvalho Chehab <mchehab@osg.samsung.com>
Signed-off-by: Takashi Iwai <tiwai@suse.de>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/DocBook/media/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/DocBook/media/Makefile b/Documentation/DocBook/media/Makefile index df2962d9e11e..8bf7c6191296 100644 --- a/Documentation/DocBook/media/Makefile +++ b/Documentation/DocBook/media/Makefile | |||
| @@ -25,7 +25,7 @@ GENFILES := $(addprefix $(MEDIA_OBJ_DIR)/, $(MEDIA_TEMP)) | |||
| 25 | PHONY += cleanmediadocs | 25 | PHONY += cleanmediadocs |
| 26 | 26 | ||
| 27 | cleanmediadocs: | 27 | cleanmediadocs: |
| 28 | -@rm `find $(MEDIA_OBJ_DIR) -type l` $(GENFILES) $(OBJIMGFILES) 2>/dev/null | 28 | -@rm -f `find $(MEDIA_OBJ_DIR) -type l` $(GENFILES) $(OBJIMGFILES) 2>/dev/null |
| 29 | 29 | ||
| 30 | $(obj)/media_api.xml: $(GENFILES) FORCE | 30 | $(obj)/media_api.xml: $(GENFILES) FORCE |
| 31 | 31 | ||