diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2016-06-28 00:20:07 +0200 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2016-06-28 00:20:07 +0200 |
commit | 2647aaf1b879365c11700eed099e661febd08387 (patch) | |
tree | 6acad8a8e654d805a95b6fc4955daa65e678f155 /GNUmakefile | |
parent | ccc4759131cf6bcb3669e1b6042687fc5902e72b (diff) |
Do not watch vignettes for builds without rebuilding them
This avoids the situation that a new function is needed in a vignette
but the first thing that the build tries to do is building it.
Diffstat (limited to 'GNUmakefile')
-rw-r--r-- | GNUmakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index cfa7af67..dcf5fbc0 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -35,7 +35,7 @@ $(TGZ): $(pkgfiles) vignettes cd ..;\ "$(RBIN)/R" CMD build $(PKGSRC) 2>&1 | tee $(PKGNAME)/build.log -$(TGZVNR): $(pkgfiles) vignettes +$(TGZVNR): $(pkgfiles) cd ..;\ "$(RBIN)/R" CMD build $(PKGSRC) --no-build-vignettes;\ cd $(PKGSRC);\ |