Skip to content

Commit

Permalink
Set HAVE_GIT_VERSION to TRUE if it is a git repository (#1876)
Browse files Browse the repository at this point in the history 
Check if the `.git` directory exists to determine if it's a git repository.

For a git repository, set HAVE_GIT_VERSION to TRUE, and enable the
`gmt_release` target.
  • Loading branch information
@seisman
seisman authored Oct 22, 2019
1 parent d2c2368 commit 7a5cdf5