diff options
Diffstat (limited to 'Config')
-rwxr-xr-x | Config/installfns.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Config/installfns.sh b/Config/installfns.sh index ccbeae6d5..76d937413 100755 --- a/Config/installfns.sh +++ b/Config/installfns.sh @@ -13,9 +13,11 @@ allfuncs="`cd $sdir_top; echo ${allfuncs}`" # (1) the glob got expanded (2) we are not looking at directories. for file in $allfuncs; do if test -f $sdir_top/$file; then + case "$file" in + */CVS/*) continue;; + esac if test x$FUNCTIONS_SUBDIRS != x -a x$FUNCTIONS_SUBDIRS != xno; then case "$file" in - */CVS/*) continue;; Completion/comp*) subdir="`echo $file | sed -e 's%/[^/]*/[^/]*$%%'`" instdir="$fndir/Completion" |