summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBrian Paul <brian.paul@tungstengraphics.com>2004-03-26 15:31:44 +0000
committerBrian Paul <brian.paul@tungstengraphics.com>2004-03-26 15:31:44 +0000
commit22388c1902b4d00d1def0b416e690c58cadf69da (patch)
tree4f90272a8846d69396707d09cead6327aad7f575
parent26f334a679dcb09c1217d34e89e98ac44471c094 (diff)
omit CVS from configs list
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index a2476770a7..9832d4c6ac 100644
--- a/Makefile
+++ b/Makefile
@@ -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)"