diff options
| author | Heiko Schlittermann (HS12-RIPE) <hs@schlittermann.de> | 2018-01-27 22:58:03 +0100 |
|---|---|---|
| committer | Heiko Schlittermann (HS12-RIPE) <hs@schlittermann.de> | 2018-01-27 23:02:09 +0100 |
| commit | 48dad213d10c1280139f70c1364cc68344bb2bb1 (patch) | |
| tree | 9dd6ba1aa55494b8bf23891511830c1bcde7e976 /src | |
| parent | cee3d4ab21959f97323db40c34e8a6b1dc12e3a6 (diff) | |
Build: .git may be a file when this repo is a submodule
(cherry picked from commit 2dfd20fe244da439b1f6becb4e29c8cb83e2d399)
Diffstat (limited to 'src')
| -rwxr-xr-x | src/scripts/reversion | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/reversion b/src/scripts/reversion index c82d9c0ac..00fc028b5 100755 --- 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. |