[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: |
Stefan Monnier |
Subject: |
Re: extraclean and admin/grammars [was Re: Git master head build failure?] |
Date: |
Tue, 13 Apr 2021 08:59:54 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
> 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.
I guess we could move those bootstrap files out of `lisp` into their own
dedicated "bootstrap directory", but I'm not sure it's worth the trouble.
Stefan
- 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?], Eli Zaretskii, 2021/04/04
- 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 <=
- 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/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