diff options
| -rwxr-xr-x | util/release/genrelnotes | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/util/release/genrelnotes b/util/release/genrelnotes index 504eda4362..9db86317dc 100755 --- a/util/release/genrelnotes +++ b/util/release/genrelnotes @@ -32,7 +32,8 @@ then exit 1 fi -if [ ! -e ".git" ];then +if ! { cdup="$(git rev-parse --show-cdup 2>/dev/null)" && [ -z "${cdup}" ]; } +then echo "ERROR: This is not the top directory of a git repo. Exiting." exit 1 fi |