diff --git a/version-gen.sh b/version-gen.sh
index 5bc20a112927c3969901bc2157bdad18d629d210..5eb46de6428a7f5d88319256db4ae23dc4bf6ae6 100755 (executable)
--- a/version-gen.sh
+++ b/version-gen.sh
-#!/bin/sh
+#!/usr/bin/env bash
DEFAULT_VERSION="5.0.2.git"