omit CVS from configs list

diff --git a/Makefile b/Makefile
index a2476770a73cf09964d8fa4103600eb9da2b5eea..9832d4c6acfcfc95ddeb20bdf5f97353eb768f9d 100644 (file)
--- 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)"