diff options
author | 2009-10-11 11:18:37 -0700 | |
---|---|---|
committer | 2009-10-11 11:18:37 -0700 | |
commit | c9930cabb2fc5b4f2d07ce4a62371d65569e5370 (patch) | |
tree | b96a77a24b9af9931b7d2cd9ee3c18345feb8e59 | |
parent | sparse: Add GCC pre-defined macros for user-space (diff) | |
download | sparse-c9930cabb2fc5b4f2d07ce4a62371d65569e5370.tar.gz sparse-c9930cabb2fc5b4f2d07ce4a62371d65569e5370.tar.bz2 sparse-c9930cabb2fc5b4f2d07ce4a62371d65569e5370.zip |
Sparse 0.4.2
Signed-off-by: Christopher Li <sparse@chrisli.org>
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,4 +1,4 @@ -VERSION=0.4.1 +VERSION=0.4.2 OS = linux @@ -148,7 +148,7 @@ clean: clean-check rm -f *.[oa] .*.d *.so $(PROGRAMS) $(SLIB_FILE) pre-process.h sparse.pc dist: - @if test "`git describe`" != "$(VERSION)" ; then \ + @if test "`git describe`" != "v$(VERSION)" ; then \ echo 'Update VERSION in the Makefile before running "make dist".' ; \ exit 1 ; \ fi |