diff options
| author | paltherr <paltherr@epfl.ch> | 2003-02-15 00:53:00 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2003-02-15 00:53:00 +0000 |
| commit | 413b4edac32ab0397d0bd3c9f4fd60728a6b9866 (patch) | |
| tree | bb735175e7f1946bedb590293d47856a9f2685cf /support/make/grep.mk | |
| parent | 0ef73bcf859b8b12a66501f1c11d09ae0e49d395 (diff) | |
| download | scala-413b4edac32ab0397d0bd3c9f4fd60728a6b9866.tar.gz scala-413b4edac32ab0397d0bd3c9f4fd60728a6b9866.tar.bz2 scala-413b4edac32ab0397d0bd3c9f4fd60728a6b9866.zip | |
- Simplified example
- Replaced REGEXP by REGEX
Diffstat (limited to 'support/make/grep.mk')
| -rw-r--r-- | support/make/grep.mk | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/support/make/grep.mk b/support/make/grep.mk index e6a78a61f5..b1a3bd621a 100644 --- a/support/make/grep.mk +++ b/support/make/grep.mk @@ -1,24 +1,24 @@ ############################################################-*-Makefile-*-#### -# GREP - search regular expressions +# GREP - Search Regular Expressions ############################################################################## # $Id$ ############################################################################## # Usage # -# make grep [FLAGS=<flags>] REGEXP=<regexp> [FILES=<files>]" +# make grep [FLAGS=<flags>] REGEX=<regex> [FILES=<files>]" # ############################################################################## # Examples # # Search for "runtime" in all source files: # -# make grep REGEXP=runtime +# make grep REGEX=runtime # # # Search for "runtime" in the compiler source files: # -# make grep REGEXP=runtime FILES=\$\(COMPILER_SOURCES\) +# make grep REGEX=runtime FILES='$(COMPILER_SOURCES)' # ############################################################################## @@ -27,19 +27,19 @@ GREP_BINARY ?= $(GREP) GREP_FLAGS ?= $(FLAGS) -GREP_REGEXP ?= $(REGEXP) +GREP_REGEX ?= $(REGEX) GREP_FILES ?= $(if $(FILES),$(FILES),$(PROJECT_SOURCES)) ############################################################################## # Rules grep : - @if [ -z '$(GREP_REGEXP)' ]; then \ + @if [ -z '$(GREP_REGEX)' ]; then \ $(ECHO) "Usage:" \ - "$(MAKE) grep [FLAGS=<flags>] REGEXP=<regexp> [FILES=<files>]";\ + "$(MAKE) $@ [FLAGS=<flags>] REGEX=<regex> [FILES=<files>]";\ exit 1; \ fi - @$(GREP_BINARY) $(GREP_FLAGS) '$(GREP_REGEXP)' $(GREP_FILES) + @$(GREP_BINARY) $(GREP_FLAGS) '$(GREP_REGEX)' $(GREP_FILES) .PHONY : grep |