1 files changed, 2 insertions, 1 deletions

diff --git a/make-dist b/make-dist
index 3c57500e300..80758bce847 100755
--- a/make-dist
+++ b/make-dist
@@ -175,7 +175,8 @@ then
   bogosities=
   for file in $losers; do
     file1=`echo $file | sed -e "s|.*/||"`
-    if ! grep -q "dontcompilefiles:.* $file1\($\| \)" lisp/Makefile; then
+    if ! sed -n -e "/^DONTCOMPILE/,/[^\\]\$/p" lisp/Makefile |
+         grep -q "[     ]$file1\($\| \)"; then
       case $file in
         site-init.el | site-load.el | site-start.el | default.el)
           ;;