# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 868423775 0
# Node ID 7113c3fe2d3a92c7ce978246e4bff6c87d05e03e
# Parent  8727b49151f822ec0833a2e1290fc13ad835f5df
Fix previous change.

diff -r 8727b49151f8 -r 7113c3fe2d3a make-dist
--- a/make-dist	Wed Jul 09 04:47:12 1997 +0000
+++ b/make-dist	Wed Jul 09 04:49:35 1997 +0000
@@ -159,11 +159,17 @@
 losers="`comm -23 /tmp/el /tmp/elc`"
 bogosities=
 for file in $losers; do
-  if ! grep -q "dontcompilefiles:.* $file\($\| \)" lisp/Makefile; then
-    if [ "$file" != site-init.el ] && [ "$file" != site-load.el ] \
-       && [ "$file" != site-start.el ] && [ "$file" != default.el ]; then
-      bogosities="$file $bogosities"
-    fi
+  file1=`echo $file | sed -e "s|.*/||"`
+  if ! grep -q "dontcompilefiles:.* $file1\($\| \)" lisp/Makefile; then
+    case $file in
+      site-init.el | site-load.el | site-start.el | default.el)
+        ;;
+      term/*)
+        ;;
+      *)
+        bogosities="$file $bogosities"
+	;;
+    esac
   fi
 done
 if [ x"${bogosities}" != x"" ]; then