diff options
| author | Brian Paul <brian.paul@tungstengraphics.com> | 2004-03-26 15:31:44 +0000 |
|---|---|---|
| committer | Brian Paul <brian.paul@tungstengraphics.com> | 2004-03-26 15:31:44 +0000 |
| commit | 22388c1902b4d00d1def0b416e690c58cadf69da (patch) | |
| tree | 4f90272a8846d69396707d09cead6327aad7f575 | |
| parent | 26f334a679dcb09c1217d34e89e98ac44471c094 (diff) | |
omit CVS from configs list
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -36,7 +36,7 @@ $(TOP)/configs/current: @echo @echo @echo "Please choose a configuration from the following list:" - @ls -1 $(TOP)/configs | grep -v current | grep -v default + @ls -1 $(TOP)/configs | grep -v "current\|default\|CVS" @echo @echo "Then type 'make <config>' (ex: 'make linux-x86')" @echo "(ignore the following error message)" |