[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: extraclean and admin/grammars [was Re: Git master head build failure
From: |
Eli Zaretskii |
Subject: |
Re: extraclean and admin/grammars [was Re: Git master head build failure?] |
Date: |
Tue, 13 Apr 2021 17:03:45 +0300 |
> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Cc: rgm@gnu.org, theophilusx@gmail.com, emacs-devel@gnu.org
> Date: Tue, 13 Apr 2021 08:59:54 -0400
>
> > After updating from upstream, I see that cedet/semantic/grm-wy-boot.el
> > is byte-compiled by the build process. Should it be?
>
> To the extent that it is only used during bootstrap, it's not very
> useful to compile it, indeed. But it's harmless, so I think it's better
> to leave it like this than to try and avoid compiling it.
Can't we exempt that file in the loop that compile-man target runs in
lisp/Makefile?
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], (continued)
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Lars Ingebrigtsen, 2021/04/04
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Stefan Monnier, 2021/04/01
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Eli Zaretskii, 2021/04/01
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Stefan Monnier, 2021/04/01
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Eli Zaretskii, 2021/04/03
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Stefan Monnier, 2021/04/12
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Eli Zaretskii, 2021/04/13
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Eli Zaretskii, 2021/04/13
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Stefan Monnier, 2021/04/13
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Stefan Monnier, 2021/04/13
- Re: extraclean and admin/grammars [was Re: Git master head build failure?],
Eli Zaretskii <=
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Eli Zaretskii, 2021/04/01
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Glenn Morris, 2021/04/04
- Re: extraclean and admin/grammars [was Re: Git master head build failure?], Eli Zaretskii, 2021/04/04
Re: Git master head build failure?, Eli Zaretskii, 2021/04/01
Re: Git master head build failure?, Gregor Zattler, 2021/04/01