diff options
| author | Christopher Li <sparse@chrisli.org> | 2017-08-17 11:23:56 -0400 |
|---|---|---|
| committer | Christopher Li <sparse@chrisli.org> | 2017-08-17 11:24:59 -0400 |
| commit | 889026d88d8dadb5e7cbe307dda2c531e66a81c9 (patch) | |
| tree | a10d3888506cd4667489d0159e02b0ae8124bbde | |
| parent | 90859bb4e3f9ad11f76ad42e3dce84043bdc3176 (diff) | |
| download | sparse-dev-889026d88d8dadb5e7cbe307dda2c531e66a81c9.tar.gz | |
Sparse 0.5.1
Signed-off-by: Christopher Li <sparse@chrisli.org>
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -VERSION=0.5.1-rc5 +VERSION=0.5.1 # Generating file version.h if current version has changed SPARSE_VERSION:=$(shell git describe 2>/dev/null || echo '$(VERSION)') |