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

The last bashism was removed in 4d376681. Reverting to /bin/sh prevents
build errors on platforms without bash installed by default.

This reverts commit 3bda88e8b425f43644e303e6957e38ae59c1bc83.

diff --git a/version-gen.sh b/version-gen.sh
index 1ac1bc150cb86682af346cf200a0c4838aa9c927..5ab6f78f57a75bf738382b14c301fcfdc0783b08 100755 (executable)
--- a/version-gen.sh
+++ b/version-gen.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/bin/sh
 
 DEFAULT_VERSION="5.3.1.git"