diff options
| author | paltherr <paltherr@epfl.ch> | 2003-08-18 16:50:08 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2003-08-18 16:50:08 +0000 |
| commit | b7dd9ed9a234211df2eb592ce96b1f7de9d88165 (patch) | |
| tree | 6e2f614ceafea205a1e97725444e042bea7df76a /support/make/grep.mk | |
| parent | 87210b8f1092065be1b7cfaf13a3852fe861abe4 (diff) | |
| download | scala-b7dd9ed9a234211df2eb592ce96b1f7de9d88165.tar.gz scala-b7dd9ed9a234211df2eb592ce96b1f7de9d88165.tar.bz2 scala-b7dd9ed9a234211df2eb592ce96b1f7de9d88165.zip | |
- made some makefile scripts a bit more robust ...
- made some makefile scripts a bit more robust to filenames containing
- $s reenabled generation of scala documentation
Diffstat (limited to 'support/make/grep.mk')
| -rw-r--r-- | support/make/grep.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/support/make/grep.mk b/support/make/grep.mk index 37149fe224..d8c9c66498 100644 --- a/support/make/grep.mk +++ b/support/make/grep.mk @@ -44,7 +44,7 @@ grep : "$(MAKE) $@ [FLAGS=<flags>] REGEX=<regex> [FILES=<files>]";\ exit 1; \ fi - @$(GREP_BINARY) $(GREP_FLAGS) '$(GREP_REGEX)' $(GREP_FILES) + @$(GREP_BINARY) $(GREP_FLAGS) '$(GREP_REGEX)' $(GREP_FILES:%='%') .PHONY : grep |