diff make-dist @ 15301:a68e276baffd

Check for long file names.
author Karl Heuer <kwzh@gnu.org>
date Wed, 29 May 1996 14:56:45 +0000
parents e8ceba484a94
children 30ac85981d2e
line wrap: on
line diff
--- a/make-dist	Tue May 28 15:54:53 1996 +0000
+++ b/make-dist	Wed May 29 14:56:45 1996 +0000
@@ -126,6 +126,13 @@
 fi
 rm -f /tmp/el /tmp/elc
 
+### Check for .el files that would overflow the 14-char limit if compiled.
+long=`find lisp -name '???????????*.el' -print`
+if [ "$long" != "" ]; then
+  echo "The following .el file names are too long:"
+  echo "$long"
+fi
+
 ### Make sure configure is newer than configure.in.
 if [ "x`ls -t configure configure.in | head -1`" != "xconfigure" ]; then
   echo "\`./configure.in' is newer than \`./configure'" >&2