From 42eadb2656dac2433f5a07b67d603b2bbfaf651c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Beat=20K=C3=BCng?= <beat-kueng@gmx.net>
Date: Tue, 5 Jul 2016 23:09:25 +0200
Subject: [PATCH] format.sh: better inform the user what to do on style issues
 (#24)

---
 scripts/format.sh | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/scripts/format.sh b/scripts/format.sh
index bd06600bff..c56cbef8e1 100755
--- a/scripts/format.sh
+++ b/scripts/format.sh
@@ -15,11 +15,12 @@ then
 	echo formatting
 	$astyle ${format_wildcards}
 else
-	echo checking format
-	$astyle --dry-run ${format_wildcards} | grep Formatted
+	echo checking format...
+	$astyle --dry-run ${format_wildcards} | grep Formatted &>/dev/null
 	if [[ $? -eq 0 ]]
 	then
-		echo need to format
+		echo Error: need to format
+		echo "run './scripts/format.sh astyle 1'"
 		exit 1
 	fi
 	echo no formatting needed