diff options
-rwxr-xr-x | scripts/dgen.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/dgen.sh b/scripts/dgen.sh index 228ef3687..32ee7c2fe 100755 --- a/scripts/dgen.sh +++ b/scripts/dgen.sh @@ -54,7 +54,7 @@ gen_rulesfiles_all() { ( if test -d ${REAL_PROJECTRULESDIR}; then find ${REAL_PROJECTRULESDIR} \ - -mindepth 1 -maxdepth 1 -name "*.make" + -mindepth 1 -maxdepth 1 -name "*.make" -a \! -path "*#*" find ${RULESDIR} \ -mindepth 1 -maxdepth 1 -name "*.make" \ `find ${REAL_PROJECTRULESDIR} \ @@ -62,7 +62,7 @@ gen_rulesfiles_all() { -printf "! -name %f "` else find ${RULESDIR} \ - -mindepth 1 -maxdepth 1 -name "*.make" + -mindepth 1 -maxdepth 1 -name "*.make"-a \! -path "*#*" fi ) > ${RULESFILES_ALL} |