diff options
author | toni <matzeton@googlemail.com> | 2015-11-16 23:56:07 +0100 |
---|---|---|
committer | toni <matzeton@googlemail.com> | 2015-11-17 01:04:39 +0100 |
commit | cb8ac81c8c538f4a02edb5c2762cfbc5f5adef88 (patch) | |
tree | 8a305bfa89f406a89e6b3e4fbd286bf242a72920 /debian | |
parent | 089551924a7c6bae2b03bee9999e5563f9267571 (diff) |
better tests
Diffstat (limited to 'debian')
-rwxr-xr-x | debian/rules | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index 5cdc77d..46395bb 100755 --- a/debian/rules +++ b/debian/rules @@ -17,6 +17,7 @@ build: configure-stamp build-stamp build-stamp: dh_testdir $(MAKE) + $(MAKE) -C tests -f Makefile run touch build-stamp clean: |