Build: .git may be a file when this repo is a submodule

(cherry picked from commit 2dfd20fe244da439b1f6becb4e29c8cb83e2d399)

diff --git a/src/scripts/reversion b/src/scripts/reversion
index c82d9c0ace63075bb1127509908d282e4c004f76..00fc028b57df1432170740e4c59a3c17744bf887 100755 (executable)
--- a/src/scripts/reversion
+++ b/src/scripts/reversion
@@ -37,7 +37,7 @@ fi
 
 # If this tree is a git working directory, use that to get version information.
 
-if [ -d ../../.git ] || [ "$1" = "release" ]
+if [ -d ../../.git ] || [ -f ../../.git ] || [ "$1" = "release" ]
 then
        # Modify the output of git describe into separate parts for
        # the name "exim" and the release and variant versions.