diff options
Diffstat (limited to 'Make-dist')
| -rw-r--r-- | Make-dist | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Make-dist b/Make-dist index bba703cb26..7aece5ee62 100644 --- a/Make-dist +++ b/Make-dist @@ -31,7 +31,8 @@ foo:=$(shell echo 'foobar=$(filter %.c %.S %.s %.h,$(distribute))'>&2) ifndef sysdep_dirs # Find all sysdep directories. -export sysdep_dirs := $(shell find $(..)sysdeps -type d ! -name RCS -print) +export sysdep_dirs := $(shell find $(..)sysdeps -type d \ + ! -name CVS ! -name RCS -print) else # Defined by the parent. sysdep_dirs := $(addprefix $(..),$(sysdep_dirs)) |