diff options
| author | Glenn Morris <rgm@gnu.org> | 2018-12-14 15:41:17 -0500 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2018-12-14 15:41:17 -0500 |
| commit | 760b091ac5c6e8e49ebbf7c080f500cfad2e1579 (patch) | |
| tree | 031e3133658a320e6982f5dc50f448b39a2a7caf /make-dist | |
| parent | af1bdfccd4867eed127a7d3d15b24baa9d5954bd (diff) | |
| download | emacs-760b091ac5c6e8e49ebbf7c080f500cfad2e1579.tar.gz | |
* make-dist: Improve no-byte-compile check.
Diffstat (limited to 'make-dist')
| -rwxr-xr-x | make-dist | 2 |
1 files changed, 1 insertions, 1 deletions
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 |