diff options
| author | Josh Triplett <josh@freedesktop.org> | 2007-05-01 19:59:47 -0700 |
|---|---|---|
| committer | Josh Triplett <josh@freedesktop.org> | 2007-05-01 20:01:18 -0700 |
| commit | ad425f2810b466a000f5556a7710859ca366d135 (patch) | |
| tree | 23b487dc605cb352acd0e5b81bbd5678c970b1d5 | |
| parent | 0c79dc72c5b0d58e6fc797c044281b9b006af17f (diff) | |
| download | sparse-dev-ad425f2810b466a000f5556a7710859ca366d135.tar.gz | |
Add a "make dist" that requires $(VERSION) to match `git describe`
Signed-off-by: Josh Triplett <josh@freedesktop.org>
| -rw-r--r-- | Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -145,3 +145,10 @@ pre-process.h: clean: rm -f *.[oasi] core core.[0-9]* $(PROGRAMS) $(SLIB_FILE) pre-process.h sparse.pc + +dist: + @if test "`git describe`" != "$(VERSION)" ; then \ + echo 'Update VERSION in the Makefile before running "make dist".' ; \ + exit 1 ; \ + fi + git archive --format=tar --prefix=sparse-$(VERSION)/ HEAD^{tree} | gzip -9 > sparse-$(VERSION).tar.gz |