- (echo 'Not documented options:';\
- join -v1 opts.$$$$ docs.$$$$;\
- echo 'Non-existing options:';\
- join -v2 opts.$$$$ docs.$$$$) > report.$$$$;\
- rm opts.$$$$ docs.$$$$;\
- if [ -n "`sed '1,2d' report.$$$$`" ]; then \
- cat report.$$$$;\
- rm report.$$$$;\
- exit 1;\
- fi;\
- rm report.$$$$
+ status=0;\
+ join -v1 opts.$$$$ docs.$$$$ > report.$$$$;\
+ if test -s report.$$$$; then \
+ echo 'Not documented options:'; \
+ cat report.$$$$; \
+ status=1; \
+ fi; \
+ join -v2 opts.$$$$ docs.$$$$ > report.$$$$;\
+ if test -s report.$$$$; then \
+ echo 'Non-existing options:';\
+ cat report.$$$$; \
+ status=1; \
+ fi; \
+ rm opts.$$$$ docs.$$$$ report.$$$$;\
+ test $$status -ne 0 && exit $$status