diff options
| author | Julian Blake Kongslie | 2022-07-12 18:23:01 -0700 |
|---|---|---|
| committer | Julian Blake Kongslie | 2022-07-12 18:23:01 -0700 |
| commit | d876f6f12b7719a5f477a6ccabb943a32be05755 (patch) | |
| tree | 3b1a00ae3fc4ef6e5922a4b6d1cddb6ed20cf737 /tools | |
| parent | Stack storage for uarch stages. (diff) | |
| download | issim-main.tar.xz | |
Diffstat (limited to '')
| -rwxr-xr-x | tools/mkgit.rb | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/tools/mkgit.rb b/tools/mkgit.rb new file mode 100755 index 0000000..2a6ef4c --- /dev/null +++ b/tools/mkgit.rb | |||
| @@ -0,0 +1,28 @@ | |||
| 1 | #!/usr/bin/ruby -w | ||
| 2 | |||
| 3 | $stdout.write(<<END) | ||
| 4 | #include "git-tag.h" | ||
| 5 | |||
| 6 | END | ||
| 7 | |||
| 8 | IO.popen(["git", "describe", "--always", "--dirty", "--long", "--tags"], "r") do | io | | ||
| 9 | $stdout.write("const char *GIT_TAG = #{io.read.strip.dump};\n") | ||
| 10 | end | ||
| 11 | |||
| 12 | IO.popen(["git", "diff"]) do | io | | ||
| 13 | diff = io.read | ||
| 14 | if diff.strip == "" | ||
| 15 | $stdout.write("const char *GIT_DIFF = nullptr;\n") | ||
| 16 | else | ||
| 17 | $stdout.write("const char *GIT_DIFF = #{diff.dump};\n") | ||
| 18 | end | ||
| 19 | end | ||
| 20 | |||
| 21 | IO.popen(["git", "diff", "--stat"]) do | io | | ||
| 22 | stat = io.read | ||
| 23 | if stat.strip == "" | ||
| 24 | $stdout.write("const char *GIT_STAT = nullptr;\n") | ||
| 25 | else | ||
| 26 | $stdout.write("const char *GIT_STAT = #{stat.dump};\n") | ||
| 27 | end | ||
| 28 | end | ||
