From 760b091ac5c6e8e49ebbf7c080f500cfad2e1579 Mon Sep 17 00:00:00 2001
From: Glenn Morris <rgm@gnu.org>
Date: Fri, 14 Dec 2018 15:41:17 -0500
Subject: [PATCH] * make-dist: Improve no-byte-compile check.

---
 make-dist | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/make-dist b/make-dist
index 7c7668b066f..926665b8f0a 100755
--- a/make-dist
+++ b/make-dist
@@ -266,7 +266,7 @@ if [ $check = yes ]; then
 
   bogosities=
   for file in $losers; do
-    grep -q "no-byte-compile: t" $file && continue
+    grep -q "^;.*no-byte-compile: t" $file && continue
     case $file in
       site-init.el | site-load.el | site-start.el | default.el) continue ;;
     esac
-- 
2.39.5