diff options
Diffstat (limited to 'make-dist')
| -rwxr-xr-x | make-dist | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/make-dist b/make-dist index afed3f94fe9..97eaacd6318 100755 --- a/make-dist +++ b/make-dist @@ -164,10 +164,10 @@ then rm -f /tmp/el /tmp/elc ### Check for .el files with no corresponding .elc file. - ((cd lisp; ls -1 [a-z]*.el [a-z]*/[a-z]*.el) - (cd leim; ls -1 [a-z]*.el [a-z]*/[a-z]*.el)) > /tmp/el - ((cd lisp; ls -1 [a-z]*.elc [a-z]*/[a-z]*.elc) - (cd leim; ls -1 [a-z]*.elc [a-z]*/[a-z]*.elc)) | sed 's/\.elc$/.el/' > /tmp/elc + (cd lisp; ls -1 [a-z]*.el [a-z]*/[a-z]*.el ; \ + cd ../leim; ls -1 [a-z]*.el [a-z]*/[a-z]*.el) > /tmp/el + (cd lisp; ls -1 [a-z]*.elc [a-z]*/[a-z]*.elc; \ + cd ../leim; ls -1 [a-z]*.elc [a-z]*/[a-z]*.elc) | sed 's/\.elc$/.el/' > /tmp/elc losers="`comm -23 /tmp/el /tmp/elc`" bogosities= for file in $losers; do |