From 291539b75e31754f245022ecf7e536b28955e602 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Zbigniew=20J=C4=99drzejewski-Szmek?= Date: Tue, 7 May 2019 20:31:32 +0200 Subject: [PATCH] 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 | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/tools/check-directives.sh b/tools/check-directives.sh index e8c6e60040..46f770222f 100755 --- a/tools/check-directives.sh +++ b/tools/check-directives.sh @@ -10,17 +10,23 @@ function generate_directives() { } ret=0 -if [[ $(generate_directives src/network/networkd-network-gperf.gperf | wc -l) -ne $(wc -l