[xen master] xen/build: fix xen/tools/binfile

[patchbot@xxxxxxx]

commit 5e1783880d6948ea5c8fad6dd64af6e44a1e32ab
Author:     Juergen Gross <jgross@xxxxxxxx>
AuthorDate: Fri May 29 20:28:00 2020 +0200
Commit:     Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
CommitDate: Fri May 29 22:30:14 2020 +0100

    xen/build: fix xen/tools/binfile
    
    xen/tools/binfile contains a bash specific command (let). This leads
    to build failures on systems not using bash as /bin/sh.
    
    Replace "let SHIFT=$OPTIND-1" by "SHIFT=$((OPTIND-1))".
    
    Signed-off-by: Juergen Gross <jgross@xxxxxxxx>
    Acked-by: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
    Tested-by: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
---
 xen/tools/binfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/xen/tools/binfile b/xen/tools/binfile
index df0301183f..23099c49bf 100755
--- a/xen/tools/binfile
+++ b/xen/tools/binfile
@@ -17,7 +17,7 @@ while getopts "ia:" opt; do
         ;;
     esac
 done
-let "SHIFT=$OPTIND-1"
+SHIFT=$((OPTIND-1))
 shift $SHIFT
 
 target=$1
--
generated by git-patchbot for /home/xen/git/xen.git#master