check_GNU_style.sh: Check file presence

2015-05-12  Tom de Vries  <tom@codesourcery.com>

	* check_GNU_style.sh: Check if files exists.

From-SVN: r223085

contrib/ChangeLog

 2015-05-12  Tom de Vries  <tom@codesourcery.com>
 
+	* check_GNU_style.sh: Check if files exists.
+
+2015-05-12  Tom de Vries  <tom@codesourcery.com>
+
 	* check_GNU_style.sh: Don't use a filename prefix if we're only
 	processing one patch file.
 

contrib/check_GNU_style.sh

@@ -39,6 +39,13 @@ test $# -eq 0 && usage
 nfiles=$#
 files="$*"
 
+for f in $files; do
+    if [ "$f" != "-" ] && [ ! -f "$f" ]; then
+	echo "error: could not read file: $f"
+	exit 1
+    fi
+done
+
 inp=check_GNU_style.inp
 tmp=check_GNU_style.tmp