On Fri, Mar 29, 2024, 09:37 Chet Ramey wrote:
> On 3/28/24 9:54 PM, Grisha Levit wrote:
> > The addition of stdckdint.h to CREATED_HEADERS in Makefile.in leads to
> > an error when installing loadable builtins on platforms that provide
> > the header:
>
> Thanks for the report. What platform are
On 3/28/24 9:54 PM, Grisha Levit wrote:
The addition of stdckdint.h to CREATED_HEADERS in Makefile.in leads to
an error when installing loadable builtins on platforms that provide
the header:
Thanks for the report. What platform are you using that provides that
header?
--
``The lyf so short, t
The addition of stdckdint.h to CREATED_HEADERS in Makefile.in leads to
an error when installing loadable builtins on platforms that provide
the header:
install: cannot stat '/tmp/bash/stdckdint.h': No such file or directory
make[2]: *** [Makefile:903: install-headers] Error 1
make[2]: Leaving dire
