diff options
| author | Ben Hutchings <ben@decadent.org.uk> | 2017-01-31 00:18:34 +0000 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2017-02-06 09:03:36 -0700 |
| commit | 85bd9020d86bf51f9c300225d0c4d7d1b5aa9e48 (patch) | |
| tree | dea768c75ab50cccbc5c811255817bd840ce36d8 /Documentation/media | |
| parent | 028f25332c4f7e8befb22e12eaedd105cd45acb2 (diff) | |
| download | linux-85bd9020d86bf51f9c300225d0c4d7d1b5aa9e48.tar.gz linux-85bd9020d86bf51f9c300225d0c4d7d1b5aa9e48.tar.bz2 linux-85bd9020d86bf51f9c300225d0c4d7d1b5aa9e48.zip | |
doc-rst: Break shell command sequences on failure
As $(SHELL) doesn't include the -e option, any loop or other sequence
needs to include explicit checks for failing commands.
Fixes: 609afe6b49ef ("Documentation/sphinx: build the media intermediate ...")
Fixes: 606b9ac81a63 ("doc-rst: generic way to build only sphinx sub-folders")
Fixes: cd21379b1698 ("doc-rst: generic way to build PDF of sub-folders")
Tested-by: Markus Heiser <markus.heiser@darmarit.de>
Signed-off-by: Ben Hutchings <ben@decadent.org.uk>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'Documentation/media')
0 files changed, 0 insertions, 0 deletions