devtools: fix checkpatch for filename with space
authorThomas Monjalon <thomas@monjalon.net>
Fri, 20 Jul 2018 11:34:52 +0000 (13:34 +0200)
committerThomas Monjalon <thomas@monjalon.net>
Fri, 20 Jul 2018 20:53:17 +0000 (22:53 +0200)
commit6793a1f771556c2d28122171e147094cba8fefc4
tree1efce58f4542bd10364dfd5276b1d2708185bb4d
parent6a015363b3eacf1f2d245734a58c9dfd47bc386d
devtools: fix checkpatch for filename with space

If the patch filename or the temporary file path have a space
in their name, the script checkpatches.sh does not work.
The variables for the filenames must be enclosed in quotes
in order to preserve spaces.

Fixes: 4bec48184e33 ("devtools: add checks for ABI symbol addition")

Signed-off-by: Thomas Monjalon <thomas@monjalon.net>
Acked-by: Neil Horman <nhorman@tuxdriver.com>
devtools/checkpatches.sh