diff options
| -rwxr-xr-x | make-dist | 1 |
1 files changed, 1 insertions, 0 deletions
| @@ -95,6 +95,7 @@ if [ "${bogosities}" != "" ]; then | |||
| 95 | echo "The following .elc files have no corresponding .el files:" | 95 | echo "The following .elc files have no corresponding .el files:" |
| 96 | echo "${bogosities}" | 96 | echo "${bogosities}" |
| 97 | fi | 97 | fi |
| 98 | rm -f /tmp/el /tmp/elc | ||
| 98 | 99 | ||
| 99 | echo "Creating staging directory: \`${tempparent}'" | 100 | echo "Creating staging directory: \`${tempparent}'" |
| 100 | mkdir ${tempparent} | 101 | mkdir ${tempparent} |