diff options
author | David Bremner <bremner@debian.org> | 2011-07-17 09:52:05 -0300 |
---|---|---|
committer | David Bremner <bremner@debian.org> | 2011-07-17 10:59:41 -0300 |
commit | 9fb9fb2986741041e37c2c65108b2031272b9b0b (patch) | |
tree | 83b1d2b99bc6279b317e07d72b414cac65a2e303 /Makefile.local | |
parent | 2e136988129507a6a8cbac62014122051f156072 (diff) |
build-system: run make clean before testing.
The reasoning is that we might have some error in the build system
that causes something not to be rebuilt; this would potentially have
the tests run on the wrong version of the code.
Diffstat (limited to 'Makefile.local')
-rw-r--r-- | Makefile.local | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.local b/Makefile.local index 41feeb37..7f14e099 100644 --- a/Makefile.local +++ b/Makefile.local @@ -87,6 +87,7 @@ dist: $(TAR_FILE) .PHONY: release release: verify-source-tree-and-version $(MAKE) VERSION=$(VERSION) verify-newer + $(MAKE) VERSION=$(VERSION) clean $(MAKE) VERSION=$(VERSION) test rm -rf ./debian-build git-buildpackage |