diff options
| author | Julian Blake Kongslie | 2022-06-25 19:49:39 -0700 |
|---|---|---|
| committer | Julian Blake Kongslie | 2022-06-25 19:49:39 -0700 |
| commit | 797c56e0e7d199b728e9f929cb2e78a72f7cb916 (patch) | |
| tree | e590687ce563a47c93bdda963448a75f6f0f117a /tools | |
| parent | Marginally safer 'find' invocation for finding subcomponents. (diff) | |
| download | issim-797c56e0e7d199b728e9f929cb2e78a72f7cb916.tar.xz | |
Move git tag generation entirely into the Makefile.
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/get-git-tag | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/tools/get-git-tag b/tools/get-git-tag deleted file mode 100755 index cb4e2fa..0000000 --- a/tools/get-git-tag +++ /dev/null | |||
| @@ -1,15 +0,0 @@ | |||
| 1 | #!/bin/bash | ||
| 2 | |||
| 3 | set -u | ||
| 4 | |||
| 5 | TAG="$(git describe --always --tags --long --dirty 2> /dev/null)" | ||
| 6 | |||
| 7 | if [[ "$TAG" == "" ]]; then | ||
| 8 | TAG="unknown" | ||
| 9 | fi | ||
| 10 | |||
| 11 | cat <<END | ||
| 12 | #include <string> | ||
| 13 | |||
| 14 | std::string GIT_TAG = "$TAG"; | ||
| 15 | END | ||