check-directives: use diff to show what the differences really are
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 7 May 2019 18:31:32 +0000 (20:31 +0200)
committerSusant Sahani <ssahani@redhat.com>
Wed, 8 May 2019 01:22:58 +0000 (06:52 +0530)
commit291539b75e31754f245022ecf7e536b28955e602
tree63d95e1c285fe489869103e69f4c8467c30c85ba
parent8c32c5884d0f1afc6cd8774e21c2841003334706
check-directives: use diff to show what the differences really are

This also makes the comparison more detailed, since we check spelling,
including case.
tools/check-directives.sh