diff options
| -rwxr-xr-x | make-dist | 5 |
1 files changed, 5 insertions, 0 deletions
| @@ -87,6 +87,11 @@ them, and try again." >&2 | |||
| 87 | exit 1 | 87 | exit 1 |
| 88 | fi | 88 | fi |
| 89 | 89 | ||
| 90 | ### Check for .elc files with no corresponding .el file. | ||
| 91 | ls -1 lisp/*.el | sed 's/\.el$/.elc/' > /tmp/el | ||
| 92 | ls -1 lisp/*.elc > /tmp/elc | ||
| 93 | comm -13 /tmp/el /tmp/elc | ||
| 94 | |||
| 90 | echo "Creating staging directory: \`${tempparent}'" | 95 | echo "Creating staging directory: \`${tempparent}'" |
| 91 | mkdir ${tempparent} | 96 | mkdir ${tempparent} |
| 92 | emacsname="emacs-${version}${new_extension}" | 97 | emacsname="emacs-${version}${new_extension}" |