diff options
author | Paul Phillips <paulp@improving.org> | 2010-03-02 22:28:45 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2010-03-02 22:28:45 +0000 |
commit | 649c18aeae2136b416683d8437012cd40dac1b59 (patch) | |
tree | 9699ff34bd694f51ba223b704315730a3ba04d73 /tools/git-get-rev | |
parent | 1b5c4b93ecf8f63e81c23c38b277b5aad41d5551 (diff) | |
download | scala-649c18aeae2136b416683d8437012cd40dac1b59.tar.gz scala-649c18aeae2136b416683d8437012cd40dac1b59.tar.bz2 scala-649c18aeae2136b416683d8437012cd40dac1b59.zip |
Added --grep command line option to partest.
test with the string "Manifest" in the source file, you may now do:
./partest --grep Manifest
No review.
Diffstat (limited to 'tools/git-get-rev')
0 files changed, 0 insertions, 0 deletions