diff make-dist @ 3144:7ecd0f1c7465

* make-dist: Check for .elc files with no corresponding .el file. * make-dist: Check for .elc files with no corresponding .el file.
author Jim Blandy <jimb@redhat.com>
date Wed, 26 May 1993 22:19:04 +0000
parents 9f168990e613
children 6bdedf954822
line wrap: on
line diff
--- a/make-dist	Wed May 26 22:17:29 1993 +0000
+++ b/make-dist	Wed May 26 22:19:04 1993 +0000
@@ -87,6 +87,11 @@
   exit 1
 fi
 
+### Check for .elc files with no corresponding .el file.
+ls -1 lisp/*.el | sed 's/\.el$/.elc/' > /tmp/el
+ls -1 lisp/*.elc > /tmp/elc
+comm -13 /tmp/el /tmp/elc
+
 echo "Creating staging directory: \`${tempparent}'"
 mkdir ${tempparent}
 emacsname="emacs-${version}${new_extension}"