diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2015-05-18 16:58:44 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-05-18 16:58:44 +0200 |
| commit | d337a9665d9261d18734d81edc8fe4b569635e71 (patch) | |
| tree | 794ca4b3df97b083e7c05678abac785a575ed808 /GNUmakefile | |
| parent | 4cc0da3b67ec78534271eaef23ff2b13abfb86d9 (diff) | |
Make checking faster, testing is done by tests
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index 30576682..613c124c 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -60,7 +60,7 @@ check: build check-no-vignettes: build-no-vignettes mv $(TGZVNR) $(TGZ) - "$(RBIN)/R" CMD check --as-cran --no-tests $(TGZ) + "$(RBIN)/R" CMD check --as-cran --no-tests --no-build-vignettes --no-vignettes $(TGZ) mv $(TGZ) $(TGZVNR) clean: |