version-gen.sh: Switch to bash due to bashisms.

Change-Id: I8480afad2d157382fb7e5ff35785e97066c8553c

diff --git a/version-gen.sh b/version-gen.sh
index 2223ff9..1d5416b 100755 (executable)
--- a/version-gen.sh
+++ b/version-gen.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash
 
 DEFAULT_VERSION="4.10.5.git"