diff options
Diffstat (limited to 'make-dist')
-rwxr-xr-x | make-dist | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/make-dist b/make-dist index 67aaffe9d4d..ebcd4baff7b 100755 --- a/make-dist +++ b/make-dist @@ -157,13 +157,14 @@ rm -f /tmp/el /tmp/elc (cd lisp; ls -1 [a-z]*.el) > /tmp/el (cd lisp; ls -1 [a-z]*.elc) | sed 's/\.elc$/.el/' > /tmp/elc losers="`comm -23 /tmp/el /tmp/elc`" +bogosities= for file in $losers; do if ! grep -q "dontcompilefiles:.* $file\($\| \)" lisp/Makefile; then bogosities="$file $bogosities" fi done if [ "${bogosities}" != "" ]; then - echo "The following .elc files have no corresponding .el files:" + echo "The following .el files have no corresponding .elc files:" echo "${bogosities}" fi rm -f /tmp/el /tmp/elc |